Proof computing and symbolic evaluation

Name
Last commit
Last update
_img_quot/hott_bk Loading commit data...
proof_repos Loading commit data...
sym_calc Loading commit data...
tp_sys_eval/idris_131_eval Loading commit data...
xprmt/ax_vrb_knds Loading commit data...
.gitignore Loading commit data...
FP_Tutorial.md Loading commit data...
README.md Loading commit data...