Please go to the dependent version.
forked from matthieuzone/proof-assistant-project
-
Notifications
You must be signed in to change notification settings - Fork 0
Implementing a proof assistant
leo-leesco/Computational-Logic-TD4-proof-assistant
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Implementing a proof assistant
Topics
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published
Languages
- OCaml 96.8%
- Makefile 3.1%
- Dune 0.1%