max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2
lean4-htt/src/frontends
History
Sebastian Ullrich 9a6ae42be8 feat(frontends/lean/vm_elaborator): return new environment
2019-01-06 15:44:56 +01:00
..
lean feat(frontends/lean/vm_elaborator): return new environment 2019-01-06 15:44:56 +01:00