max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2
lean4-htt/src/Init
History
Leonardo de Moura f89d34e0dc chore: cleanup
2020-10-25 09:53:52 -07:00
..
Control chore: move to new frontend 2020-10-23 16:13:55 -07:00
Data chore: move Core.lean to new frontend 2020-10-25 08:54:37 -07:00
System chore: move to new frontend 2020-10-23 16:56:36 -07:00
Coe.lean chore: remove old HasCoe 2020-10-24 16:22:52 -07:00
Control.lean chore: move to new frontend 2020-10-23 16:35:46 -07:00
Core.lean chore: cleanup 2020-10-25 09:53:52 -07:00
Data.lean chore: move to new frontend 2020-10-23 16:35:46 -07:00
Fix.lean chore: move to new frontend 2020-10-23 16:35:46 -07:00
LeanInit.lean feat: add helper functions for writing macros 2020-10-23 10:59:59 -07:00
System.lean chore: move to new frontend 2020-10-23 16:35:46 -07:00
Util.lean chore: move to new frontend 2020-10-23 12:50:03 -07:00
WF.lean chore: move to new frontend 2020-10-23 19:59:46 -07:00