GitHub repository: radeusgd/GADT-thesis
Primary language: Coq
Description: The repository containing Coq proofs attached to my master's thesis - Formal foundations for Generalized Algebraic Data Types in Scala