GitHub - xieyuheng/skolem: an ACL2 style theorem prover with structural diff, embedded in scheme.

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 24 Commits
docs		docs
tests		tests
.gitignore		.gitignore
LICENSE		LICENSE
README		README
skolem.org		skolem.org
skolem.scm		skolem.scm

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.

acl2 prover scheme structural-diff

Readme

License

Activity

2 stars

0 watching

0 forks

Report repository

Navigation Menu

Repository files navigation

About

Releases

Packages

Used by

Contributors

Languages

Folders and files

Latest commit

History

Repository files navigation

About

Topics

Resources

Stars

Watchers

Forks

Releases

Packages

Used by

Contributors

Languages