Name		Name	Last commit message	Last commit date
.github/workflows		.github/workflows
src/super		src/super
test		test
.gitignore		.gitignore
.travis.yml		.travis.yml
README.md		README.md
leanpkg.toml		leanpkg.toml

Repository files navigation

super

A super position prover for Lean.

TODO: add docs

About

Superposition prover

Custom properties

17 stars

6 watching

Report repository

Releases

Packages

Used by

Contributors

Languages