Commits · 9187f6724f12e5057d19a9ec6a98753b05dce96d
tet
@GUI
update_prover_check_status.m
Browse files
Nov 19, 2010
updated GUI to generalize the typecheck procedure, default prover is now CVC,...
· aeb14e87
Colin Eles
authored
Nov 19, 2010
aeb14e87
Loading