sdgoij/lean4
1
0
Fork 0
mirror of https://github.com/leanprover/lean4.git synced 2026-03-17 18:34:06 +00:00
Code Issues Packages Projects Releases Wiki Activity
39,855 Commits 4,240 Branches 120 Tags
master
Commit Graph

4 Commits

Author SHA1 Message Date
Sebastian Ullrich
5160cb7b0f refactor: remove some unnecessary antiquotation kind annotations 2022-07-23 17:09:32 +02:00
Sebastian Ullrich
6bf7648941 doc: spurious space 2022-07-16 14:51:16 +02:00
Sebastian Ullrich
87431da7b1 doc: metaprogramming-arith: style 2022-05-03 18:38:36 +02:00
Sebastian Ullrich
84cc167f95 doc: fix example code & style 2022-04-20 19:05:43 +02:00