max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2
lean4-htt/src/Init/Data/Format
History
Leonardo de Moura 5662e2e745 refactor: move ToString Syntax and BEq Syntax to Init
2021-02-26 13:21:04 -08:00
..
Basic.lean feat: hierarchical InfoTree 2021-01-09 14:10:11 -08:00
Instances.lean
Macro.lean
Syntax.lean refactor: move ToString Syntax and BEq Syntax to Init 2021-02-26 13:21:04 -08:00