Projects with this topic
Sort by:
-
Updated
-
A formalization of Simply Typed Lambda Calculus with α-equivalence using Coq
Updated -
Documentation: https://ualib.gitlab.io . New version: https://github.com/ualib/agda-algebras
Updated
A formalization of Simply Typed Lambda Calculus with α-equivalence using Coq
Documentation: https://ualib.gitlab.io . New version: https://github.com/ualib/agda-algebras
