|
bench
|
chore: remove command universes
|
2021-06-29 17:01:07 -07:00 |
|
compiler
|
feat: top-down heuristic delaboration
|
2021-08-03 09:13:18 +02:00 |
|
elabissues
|
chore: move pp_options.cpp to Lean
|
2021-01-27 14:16:12 +01:00 |
|
lean
|
chore: fix tests
|
2021-08-07 13:22:58 -07:00 |
|
leanpkg
|
feat: add register_option command
|
2021-08-03 14:31:04 -07:00 |
|
playground
|
feat: top-down heuristic delaboration
|
2021-08-03 09:13:18 +02:00 |
|
plugin
|
chore: fix test
|
2021-01-27 15:04:59 +01:00 |
