max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2
lean4-htt/library
History
Leonardo de Moura 734d8af3b9 fix: Array HasRepr and HasToString instances
2019-10-07 15:53:47 -07:00
..
Init fix: Array HasRepr and HasToString instances 2019-10-07 15:53:47 -07:00
library.md
Makefile.in fix: file and import names, tests and stage0 2019-10-04 17:04:02 -07:00
relative.py chore: preparing for new naming convention 2019-10-04 14:22:23 -07:00