Af2 Proof Assistant

Af2 Proof Assistant
All Links

Share this:

Details of Af2 Proof Assistant

About Af2 Proof Assistant
Af2 Proof Assistant- A type system based on second order intuitionistic logic.
Books and Worksheets