lean4-htt/tests
2018-05-07 23:58:17 +02:00
..
lean test(tests/lean/run/ext_eff): document quadratic run time issue and implement solution from paper 2018-05-07 23:58:17 +02:00