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 35f0bf7d77 chore: move to new frontend
2020-10-24 16:21:23 -07:00
..
Control chore: move to new frontend 2020-10-23 16:13:55 -07:00
Data chore: move to new frontend 2020-10-24 16:21:23 -07:00
System chore: move to new frontend 2020-10-23 16:56:36 -07:00
Coe.lean chore: move to new frontend 2020-10-23 17:15:05 -07:00
Control.lean chore: move to new frontend 2020-10-23 16:35:46 -07:00
Core.lean chore: use motive to name the motive of Eq.ndrec and friends 2020-10-23 05:34:26 -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
HasCoe.lean chore: remove coeSortBool 2020-01-28 19:07:02 -08: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