Commits · 4bef0afb24e1defeb63dec0266a1ee91fda6d833

tet
@GUI
update_prover_check_status.m

Nov 19, 2010
- updated GUI to generalize the typecheck procedure, default prover is now CVC,... · aeb14e87
  Colin Eles authored Nov 19, 2010
  aeb14e87

Loading