-
Notifications
You must be signed in to change notification settings - Fork 0
an ACL2 style theorem prover with structural diff, embedded in scheme.
License
xieyuheng/skolem
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
* skolem
- skolem is an ACL2 style theorem prover, with structural diff.
- it is inspired by the implementation of J-Bob
in `the little prover`, by Daniel P. Friedman and Carl Eastlund.
About
an ACL2 style theorem prover with structural diff, embedded in scheme.
Topics
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published