Skip to content
Sign up
Why GitHub?
Features
→
Mobile
→
Actions
→
Codespaces
→
Packages
→
Security
→
Code review
→
Issues
→
Integrations
→
GitHub Sponsors
→
Customer stories
→
Team
Enterprise
Explore
Explore GitHub
→
Learn and contribute
Topics
→
Collections
→
Trending
→
Learning Lab
→
Open source guides
→
Connect with others
The ReadME Project
→
Events
→
Community forum
→
GitHub Education
→
GitHub Stars program
→
Marketplace
Pricing
Plans
→
Compare plans
→
Contact Sales
→
Education
→
In this repository
All GitHub
↵
Jump to
↵
No suggested jump to results
In this repository
All GitHub
↵
Jump to
↵
In this organization
All GitHub
↵
Jump to
↵
In this repository
All GitHub
↵
Jump to
↵
Sign in
Sign up
{{ message }}
leanprover
/
super
Public
Notifications
Star
9
Fork
4
Superposition prover
9
stars
4
forks
Star
Notifications
Code
Issues
3
Pull requests
0
Actions
Projects
0
Wiki
Security
Insights
More
Code
Issues
Pull requests
Actions
Projects
Wiki
Security
Insights
master
Switch branches/tags
Branches
Tags
Could not load branches
Nothing to show
{{ refName }}
default
Could not load tags
Nothing to show
{{ refName }}
default
7
branches
0
tags
Code
Latest commit
Git stats
31
commits
Files
Permalink
Failed to load latest commit information.
Type
Name
Latest commit message
Commit time
.github/
workflows
src/
super
test
.gitignore
.travis.yml
README.md
leanpkg.toml
README.md
super
A super position prover for Lean.
TODO: add docs
About
Superposition prover
Resources
Readme
Releases
No releases published
Packages
0
No packages published
Contributors
7
Languages
Lean
100.0%
You can’t perform that action at this time.
You signed in with another tab or window.
Reload
to refresh your session.
You signed out in another tab or window.
Reload
to refresh your session.
