Loreon
Labs
Platform
Docs
Home
Ecosystems
Other
metaprogramming
Tutorials for metaprogramming in Lean
Other
Emerging
GitHub
Stars
—
Forks
—
Contributors
1
Last push
13mo ago
Recent commits
Latest commits.
another lemma
ad46478
Heather Macbeth
13mo ago
test file for cancel
dc51d12
Heather Macbeth
13mo ago
proofs file
e89b2de
Heather Macbeth
13mo ago
phase1
e46fedd
Heather Macbeth
15mo ago
finish norm_num and begin abel
0e9d27b
Heather Macbeth
15mo ago
start norm_num
0c06c89
Heather Macbeth
16mo ago
wording
ff82207
Heather Macbeth
16mo ago
standardize syntax
5d6ea13
Heather Macbeth
16mo ago
Top contributors
Builders behind this project.
hrmacbeth
10 commits
