Loreon
Labs
Platform
Docs
Home
Ecosystems
Lean
metaprogramming
Tutorials for metaprogramming in Lean
Lean
Emerging
GitHub
Stars
10
Forks
2
Contributors
3
Last push
13mo ago
Recent commits
Latest commits.
Merge pull request #1 from YaelDillies/main
291e1b1
Heather Macbeth
13mo ago
set up beginning of parsing
c23ef3d
Heather Macbeth
13mo ago
set up cancel attribute
5debb7d
Heather Macbeth
13mo ago
kevin's examples
6d39b6a
Heather Macbeth
13mo ago
adjust handling of side goals
02255b2
Heather Macbeth
13mo ago
cosine example
0937282
Heather Macbeth
13mo ago
Merge pull request #2 from erdOne/patch-1
1d2c106
Heather Macbeth
13mo ago
Update Test.lean
0da0418
Andrew Yang
13mo ago
Top contributors
Builders behind this project.
hrmacbeth
17 commits
erdOne
1 commits
YaelDillies
1 commits
