|
compiler
|
chore: move tests to new frontend
|
2020-10-23 14:07:26 -07:00 |
|
bintree.lean
|
chore: use specialize tactic
|
2022-04-02 19:35:36 -07:00 |
|
bintree.lean.md
|
doc: embed examples into doc book
|
2022-04-06 09:06:49 -07:00 |
|
deBruijn.lean
|
chore: remove workaround from example
|
2022-04-03 09:25:47 -07:00 |
|
deBruijn.lean.md
|
doc: embed examples into doc book
|
2022-04-06 09:06:49 -07:00 |
|
interp.lean
|
doc: fix ReST markup
|
2022-03-26 22:50:04 +01:00 |
|
interp.lean.md
|
doc: embed examples into doc book
|
2022-04-06 09:06:49 -07:00 |
|
palindromes.lean.md
|
doc: embed examples into doc book
|
2022-04-06 09:06:49 -07:00 |
|
phoas.lean.md
|
doc: embed examples into doc book
|
2022-04-06 09:06:49 -07:00 |
|
tc.lean
|
chore: cleanup proof
|
2022-03-28 14:58:02 -07:00 |
|
tc.lean.md
|
doc: embed examples into doc book
|
2022-04-06 09:06:49 -07:00 |
|
test_single.sh
|
chore: add doc/examples to the test suite
|
2022-03-24 15:20:18 -07:00 |
