Loreon
Labs
Platform
Docs
Home
Ecosystems
Lean
AutoformalizationUtils
FrederickPu/AutoformalizationUtils
Lean
Emerging
GitHub
Stars
—
Forks
—
Contributors
1
Last push
2mo ago
Recent commits
Latest commits.
beefed up checkEquiv
f4e7fcf
FrederickPu
2mo ago
faxed lake toml
7ce865c
FrederickPu
2mo ago
fixed example logic
f1418dd
FrederickPu
3mo ago
fixed example sketch
05fcd8b
FrederickPu
3mo ago
improved run_check example to include fuzzing and other fixes
25585e4
FrederickPu
3mo ago
switch to using type for definitions
ea0bd26
FrederickPu
3mo ago
created MWE
52205f3
FrederickPu
3mo ago
Merge branch 'master' of https://github.com/FrederickPu/AutoformalizationUtils
b8a54d9
FrederickPu
4mo ago
Top contributors
Builders behind this project.
FrederickPu
11 commits
