An attempt at a structurally faithful neural representation of Agda files, with an application in premise selection. Don't try this at home.
-
Notifications
You must be signed in to change notification settings - Fork 0
konstantinosKokos/neural-agda
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
About
wip