The Af2 Proof Assistant
Library Home || Full Table of Contents || 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|
© 1994- The Math Forum at NCTM. All rights reserved.