F

formal proof

Classical logic truth table magma algebra

A formalization of Simply Typed Lambda Calculus with α-equivalence using Coq

Documentation: https://ualib.gitlab.io . New version: https://github.com/ualib/agda-algebras