https://github.com/xieyuheng/skolem

an ACL2 style theorem prover with structural diff, embedded in scheme.
https://github.com/xieyuheng/skolem

acl2 prover scheme structural-diff

Last synced: 7 months ago
JSON representation

an ACL2 style theorem prover with structural diff, embedded in scheme.

• Host: GitHub
• URL: https://github.com/xieyuheng/skolem
• Owner: xieyuheng
• License: other
• Created: 2018-04-24T18:13:38.000Z (over 7 years ago)
• Default Branch: master
• Last Pushed: 2019-03-17T11:32:43.000Z (over 6 years ago)
• Last Synced: 2024-12-08T07:42:50.123Z (11 months ago)
• Topics: acl2, prover, scheme, structural-diff
• Language: Scheme
• Homepage:
• Size: 56.6 KB
• Stars: 2
• Watchers: 2
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README
  • License: LICENSE

Awesome Lists containing this project

README

          
* 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.