max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2
lean4-htt/src/Init/Data/Int
History
Leonardo de Moura 749e2063cf feat: add interpolated string for toString
2020-10-09 14:38:24 -07:00
..
Basic.lean feat: add interpolated string for toString 2020-10-09 14:38:24 -07:00