Leonardo de Moura 821bdcdac0 chore(tests/playground): add helper files		2019-02-15 18:13:37 -08:00
..
.gitignore	chore(tests/playground): add helper files	2019-02-15 18:13:37 -08:00
arith_eval.ml	test(tests/playground): add new example in Lean and OCaml	2019-02-14 15:50:07 -08:00
arith_eval_nat.lean	test(tests/playground): add new example in Lean and OCaml	2019-02-14 15:50:07 -08:00
arith_eval_uint32.lean	test(tests/playground): add new example in Lean and OCaml	2019-02-14 15:50:07 -08:00
deriv.lean	chore(tests/playground/deriv): add example for testing in the playground	2019-02-14 10:49:46 -08:00
expr_const_folding.lean	tests(tests/playground/expr_const_folding): another example for the paper	2019-02-15 12:07:52 -08:00
expr_const_folding.ml	tests(tests/playground/expr_const_folding): another example for the paper	2019-02-15 12:07:52 -08:00
leanpkg.path	chore(tests/playground): add helper files	2019-02-15 18:13:37 -08:00
perf.lean
run.sh
tst.lean