Source material for Certainty by Construction
-
Updated
Jan 20, 2024 - TeX
#
agda
Here are 15 public repositories matching this topic...
Category theory applied to functional programming (undergraduate project)
-
Updated
Feb 17, 2019 - TeX
The Agda Universal Algebra Library (UALib) is a library of types and programs (theorems and proofs) that formalizes the foundations of universal algebra in dependent type theory using the Agda proof assistant language.
-
Updated
Dec 8, 2021 - TeX
Collaborative work on reversible computing
category-theory quantum-computing agda reversible-programming-language reversible-computation monoidal-categories
-
Updated
Aug 3, 2022 - TeX
An implementation of scoped algebraic effects and handlers in Agda.
-
Updated
Mar 11, 2021 - TeX
Translates Metis ATP proofs to the Agda code
-
Updated
Mar 9, 2020 - TeX
Proving the correctness and performance of certain parallel algorithms
-
Updated
Aug 12, 2023 - TeX
Compiling Concurrency Correctly—Verifying Software Transactional Memory
-
Updated
Aug 21, 2017 - TeX
Reifying dynamical algebra: maximal ideals in countable rings, constructively
-
Updated
Mar 11, 2024 - TeX
Free monoids take a price HIT
-
Updated
Jan 8, 2020 - TeX
Notes about "An introduction to Finite Group Representation Theory using Agda"
-
Updated
Sep 27, 2022 - TeX
Source code for the paper "Specifying and Verifying a Transformation of Recursive Functions into Tail-Recursive Functions"
-
Updated
Nov 18, 2022 - TeX
📖 Word Processing in Groups
-
Updated
Sep 22, 2017 - TeX
A formalisation of the pigeon theorem in UTT.
-
Updated
Dec 15, 2020 - TeX
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."