Projects

Updated 6 months ago

Agda is a dependently typed programming language / interactive theorem prover.

agda dependent-types programming-language proof-assistant type-theory

Updated 5 months ago

Calvin Talks Types

coq dependent-types formal-verification haskell idris java python types

Updated 6 months ago

ML modules and functors as first-class citizens by unifying ML modules and ML records with path dependent types and subtyping.

dependent-types module ocaml records subtype

Updated 6 months ago

My master thesis on RML : In French.

dependent-types dot rml

Updated 6 months ago

The Agda Universal Algebra Library (html docs available at the url below)

agda agda-library dependent-types foundations logic model-theory type-theory universal-algebra

ecosyste.ms