max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2
lean4-htt/src/stage0
History
Leonardo de Moura e6e71a1f79 chore(init/lean/compiler): inline.lean ==> inlineattrs.lean
2019-06-26 14:10:00 -07:00
..
init chore(init/lean/compiler): inline.lean ==> inlineattrs.lean 2019-06-26 14:10:00 -07:00
.gitattributes
.gitignore chore(state0/.gitignore): ignore .o 2019-03-18 18:30:28 -07:00
CMakeLists.txt chore(init/lean/compiler): inline.lean ==> inlineattrs.lean 2019-06-26 14:10:00 -07:00