Explore projects
-
Updated
-
A formalization of Simply Typed Lambda Calculus with α-equivalence using Coq
Updated -
ualib / ualib.gitlab.io
Creative Commons Attribution Share Alike 4.0 InternationalDocumentation: https://ualib.gitlab.io . New version: https://github.com/ualib/agda-algebras
Updated