1. Home
  2. Science
  3. Mathematics
  4. Af2 Proof Assistant

Science · Mathematics

Af2 Proof Assistant

Listed in the directory · updated 23 Jul 2022

Visit website

Find them on

Share

About Af2 Proof Assistant

Af2 Proof Assistant- A type system based on second order intuitionistic logic.

Tags

Books and Worksheets

Where it sits

Science Mathematics

More in Mathematics

See all →