xieyuheng/skolem
Folders and files
| Name | Name | 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.