max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2
lean4-htt/library/data/nat
History
Joe Hendrix 18cbc22791 refactor(library/data/nat): migrate data.nat to lean2 structure
2017-01-17 17:24:37 -08:00
..
default.lean refactor(library/data/nat): migrate data.nat to lean2 structure 2017-01-17 17:24:37 -08:00
order.lean refactor(library/data/nat): migrate data.nat to lean2 structure 2017-01-17 17:24:37 -08:00
sub.lean refactor(library/data/nat): migrate data.nat to lean2 structure 2017-01-17 17:24:37 -08:00