F-omega with interval kinds mechanized in Agda
-
Updated
Aug 1, 2024 - Agda
#
proofs
Here are 9 public repositories matching this topic...
Agda Library to Study the Expressive Power of Languages for Static Variability
-
Updated
Apr 18, 2025 - Agda
Formal proofs in mathematics/computer science/logic formalized in the Agda language. A hobby project I am working on in my free time.
dependent-types logic theorem-proving mathematics verification type-theory set-theory data-structures category-theory agda formalization proofs mathematics-library
-
Updated
Jan 18, 2023 - Agda
mechanization for livelits paper, https://github.com/hazelgrove/livelits-paper
-
Updated
Apr 7, 2021 - Agda
Proofs for the paper "Risotto: A Dynamic Binary Translator for Weak Memory Model Architectures"
-
Updated
Sep 13, 2022 - Agda
formal proof of type preservation of the dictionary passing transform for system f
-
Updated
Mar 27, 2023 - Agda
Messing around with propositional logic in Agda
-
Updated
Nov 11, 2016 - Agda
Improve this page
Add a description, image, and links to the proofs topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the proofs topic, visit your repo's landing page and select "manage topics."