Loreon
Labs
Platform
Docs
Home
Ecosystems
Typst
inductosolve
🖋️ Lean tactic for induction proofs in CS263
Typst
Emerging
GitHub
Stars
—
Forks
—
Contributors
1
Last push
1mo ago
Recent commits
Latest commits.
Add files via upload
0851167
Sam Poder
1mo ago
Add source code
6237346
Sam Poder
1mo ago
Top contributors
Builders behind this project.
sampoder
2 commits
