Julia bindings to https://github.com/philzook58/knuckledragger. This design uses the SMT solver Z3 as a core in an LCF style interactive theorem prover. It also can use other solvers.
-
Notifications
You must be signed in to change notification settings - Fork 0
Julia Semi-Automated Proof Assistant
License
philzook58/Knuckledragger.jl
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Julia Semi-Automated Proof Assistant
Topics
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published