The Af2 Proof Assistant
Library Home || Full Table of Contents || Suggest a Link || Library Help
|Christophe Raffalli et al., France|
|A type system based on second order intuitionistic logic. The major design goal of this program was to make as easy as possible the formalization of mathematical proofs on machine.|
|Resource Types:||Topic Tools Miscellaneous|
The Math Forum is a research and educational enterprise of the Drexel University School of Education.