max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2
lean4-htt/tests/compiler/foreign/Main
History
Leonardo de Moura e3241e82bc feat: define PointedType as { α : Type u // Nonempty α }
2022-01-14 20:36:51 -08:00
..
S.lean