This website requires JavaScript.
Explore
Help
Sign in
max
/
lean4-htt
Watch
1
Star
0
Fork
You've already forked lean4-htt
0
Code
Issues
Pull requests
Projects
Releases
Packages
Wiki
Activity
Actions
2
dacf69b2f0
lean4-htt
/
tests
History
Leonardo de Moura
ad54d8e024
feat: add helper functions
2019-12-04 12:43:24 -08:00
..
bench
chore: fix one more benchmark
2019-11-25 12:47:42 +01:00
compiler
chore: fix tests
2019-11-26 18:07:13 -08:00
elabissues
chore: disable tests for type class resolution prototype
2019-12-03 14:50:14 -08:00
ir
lean
feat: add helper functions
2019-12-04 12:43:24 -08:00
playground
plugin