Loreon
Labs
Platform
Docs
Home
Ecosystems
Lean
QuerySMT
JOSHCLUNE/QuerySMT
Lean
Emerging
GitHub
Stars
8
Forks
4
Contributors
5
Last push
24d ago
Recent commits
Latest commits.
Update Lean-auto
ca24342
JOSHCLUNE
24d ago
Update Duper and Lean-auto
76f25c2
JOSHCLUNE
29d ago
Update Duper and Lean-auto
73973de
JOSHCLUNE
2mo ago
Merge pull request #9 from srghma/toml
92828fa
JOSHCLUNE
2mo ago
feat: use lakefile.toml, move tests into separate dir
c144d2e
Serhii Khoma
2mo ago
Move code from Lean-auto into QuerySMT/AutoExtension
79d6bdb
JOSHCLUNE
2mo ago
Add note to README
763090e
JOSHCLUNE
2mo ago
Update README
f40149d
JOSHCLUNE
2mo ago
Top contributors
Builders behind this project.
JOSHCLUNE
143 commits
Mathletesv
11 commits
hanwenzhu
6 commits
kim-em
1 commits
srghma
1 commits
