A Library for Classical Propositional Logic in Agda
☆16Nov 19, 2019Updated 6 years ago
Alternatives and similar repositories for agda-prop
Users that are interested in agda-prop are comparing it to the libraries listed below
Sorting:
- Formalization of Mathematics using Type Theory of Agda Programming Language☆11Jan 3, 2018Updated 8 years ago
- Fintie Sets in Cubical Agda☆12Aug 30, 2019Updated 6 years ago
- define ZF Set Theory in Agda and it's model on Ordinal and Ordinal Definable Set☆14Nov 14, 2025Updated 3 months ago
- Operational semantics, Type-based information flow security, Hoare logic, Verification conditions, and Separation logic in Agda for the I…☆19Aug 25, 2022Updated 3 years ago
- wherein I implement several substructural logics in Agda☆24Oct 8, 2018Updated 7 years ago
- A formalization of Pure Type Systems (PTS) in Agda☆28Jul 3, 2025Updated 8 months ago
- Haskell implementation of the Edinburgh Logical Framework☆32Jan 12, 2026Updated last month
- Overcooked! 2 TAS Development Framework☆10Aug 18, 2023Updated 2 years ago
- Website for Pandonut: Ultimate Frisbee Map☆10May 11, 2022Updated 3 years ago
- [WIP] Private exitnode to open Onion Services via Tailscale IPN☆13May 27, 2023Updated 2 years ago
- Data e Lua Files traduzidos☆11May 18, 2019Updated 6 years ago
- A modern LATEX beamer theme for the Universidad EAFIT☆10Jul 13, 2018Updated 7 years ago
- A python package for spectral deconvolution of UV-Vis waveforms☆14Jul 1, 2021Updated 4 years ago
- Emulador oficial brAthena☆10Sep 24, 2018Updated 7 years ago
- A formalized proof of a version of the initiality conjecture☆45Sep 10, 2020Updated 5 years ago
- Spawn multiple concurrent unix terminals in Discord☆11Jun 1, 2021Updated 4 years ago
- ☆12Oct 9, 2025Updated 4 months ago
- Visualize NFA and DFA constructed from regular exrepssion☆18Feb 10, 2017Updated 9 years ago
- Geiser support for Scsh☆15Jun 22, 2017Updated 8 years ago
- Navigate headings and keywords provided by navi-mode and outshine using Helm☆11May 17, 2023Updated 2 years ago
- Hessian-free Independent Component Analysis☆10Aug 18, 2017Updated 8 years ago
- An automated theorem prover for intuitionistic propostional logic☆14Sep 21, 2020Updated 5 years ago
- Agda to C compiler☆10Sep 23, 2025Updated 5 months ago
- ☆14Jan 30, 2025Updated last year
- Repo containing the game for the Minetest Engine.☆14Mar 22, 2016Updated 9 years ago
- The Ensemble distributed communications toolkit☆13Jul 26, 2020Updated 5 years ago
- Beadm and other useful gentoo root scripts☆14Dec 1, 2023Updated 2 years ago
- Verified NbE via gluing in Agda☆11May 19, 2024Updated last year
- ☆13Jan 7, 2026Updated last month
- The Universal Algebra Calculator☆16Jun 11, 2022Updated 3 years ago
- Yet another pdf-mode for Emacs☆11Jun 7, 2021Updated 4 years ago
- Constructive definition of real numbers implemented in agda.☆10Jul 31, 2016Updated 9 years ago
- Cordova (PhoneGap) plugin for RFduino☆47Oct 24, 2015Updated 10 years ago
- ☆15Mar 19, 2022Updated 3 years ago
- My Emacs configuration.☆12Feb 1, 2026Updated last month
- a collection of .config files which work for certain machines☆11Feb 26, 2026Updated last week
- Library classes for the Twelf Proof System☆23Jun 16, 2020Updated 5 years ago
- CVE-2019-2725 bypass pocscan and exp☆11Jun 21, 2019Updated 6 years ago
- My Agda experiments☆12Sep 26, 2019Updated 6 years ago