Formal specifications of the cardano ledger
-
Updated
May 27, 2024 - Agda
Formal specifications of the cardano ledger
A Logical Relation for Martin-Löf Type Theory in Agda
An exploration of fumulas in Agda—a new perspective on ring theory
The Agda mechanization of a gradual security-typed programming language with general mutable references.
Logical manifestations of topological concepts, and other things, via the univalent point of view.
Agda is a dependently typed programming language / interactive theorem prover.
Categorical Abstract Machine: Theory, Formalisation, Extensions
A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
agda-mode for neovim
The Agda Universal Algebra Library (html docs available at the url below)
A toolkit for enforcing logical specifications on neural networks
Agda proof of soundness of Hoare Logic for a simple toy language
first-order logic and set theory
A work-in-progress core language for Agda, in Agda
An implementation of the mugda paper
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."