Lift algebraic structures from setoids to quotient sets
-
Updated
May 13, 2012
Lift algebraic structures from setoids to quotient sets
Examples to get some practice on functional programming and formal proofs
An Agda syntax highlighting to gedit.
Source code of Agda mode on CodeMirror Next.
Provably correct indexed binary search tree
Formalizing the clone theory in type theory and Agda
Messing around with propositional logic in Agda
Agda development of the paper "Set-Theoretic and Type-Theoretic Ordinals Coincide"
Programming Language Concepts
A formalisation of the pigeon theorem in UTT.
Self-contained repository for the corresponding TyDe'19 paper
GHC Core plugin for lightweight formal verification of Haskell programs via Agda.
Agda files used for a survey paper on Homotopy Type Theory
seeking to understand patterns behind a normalizer for typed lambda calculus with type affinities.
Add a description, image, and links to the agda topic page so that developers can more easily learn about it.
To associate your repository with the agda topic, visit your repo's landing page and select "manage topics."