Agda is a dependently typed programming language / interactive theorem prover.
-
Updated
Nov 29, 2024 - Haskell
#
agda
Here are 265 public repositories matching this topic...
An introductory course to Homotopy Type Theory
-
Updated
Jul 24, 2020 - Agda
A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
-
Updated
Nov 25, 2024 - Agda
Logical manifestations of topological concepts, and other things, via the univalent point of view.
type-theory
agda
ordinal
homotopy-type-theory
univalent-foundations
constructive-mathematics
compact-type
totally-separated-type
injective-type
searchable-set
univalent-mathematics
-
Updated
Nov 28, 2024 - Agda
Lecture notes on univalent foundations of mathematics with Agda
dependent-types
type-theory
agda
lecture-notes
mltt
homotopy-type-theory
univalent-foundations
univalent-mathematics
hott-uf
martin-lof-type-theory
univalence-axiom
function-extensionality
propositional-truncation
univalent-type-theory
-
Updated
Apr 16, 2024 - Agda
A curated set of links to formal methods involving provable code.
-
Updated
Dec 12, 2021
agda-mode for neovim
-
Updated
Oct 24, 2024 - Haskell
Agda formalisation of the Introduction to Homotopy Type Theory
mathematics
agda
textbook
univalence
homotopy-type-theory
univalent-foundations
mathematics-library
univalent-mathematics
hott-uf
univalence-axiom
-
Updated
Nov 27, 2021 - Agda
A SuperCompiler for Martin-Löf's Type Theory
-
Updated
Jan 29, 2022 - Scala
A workshop on learning Agda with minimal prerequisites.
-
Updated
May 26, 2016 - Agda
Improve this page
Add a description, image, and links to the agda topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the agda topic, visit your repo's landing page and select "manage topics."