NaDeA (Natural Deduction Assistant) - With a Formalization in Isabelle
☆16Nov 20, 2022Updated 3 years ago
Alternatives and similar repositories for nadea
Users that are interested in nadea are comparing it to the libraries listed below
Sorting:
- ☆10Aug 29, 2018Updated 7 years ago
- SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too☆36Jan 8, 2017Updated 9 years ago
- A tool for the automatic generation of Isabelle/HOL correctness proofs for security protocols.☆18Jun 21, 2015Updated 10 years ago
- Hintikka's World is a pedagogical tool for learning modal logic, more precisely epistemic modal logic.☆12Oct 26, 2025Updated 4 months ago
- Yet Another Classical planning plan validator written in modern Common Lisp☆13Nov 9, 2021Updated 4 years ago
- Langage et environnements dédiés à l’algorithmique.☆13Jan 2, 2020Updated 6 years ago
- Matita (proof assistant) with embedded elpi☆15Jan 30, 2018Updated 8 years ago
- Coq library for serialization to S-expressions☆20Jul 3, 2023Updated 2 years ago
- Theory Exploration for Isabelle using HipSpec☆20Jun 7, 2024Updated last year
- DepQBF, a solver for quantified boolean formulae (QBF).☆40Apr 11, 2023Updated 2 years ago
- Material extra☆14Dec 6, 2017Updated 8 years ago
- FUSE-based 9P client from the Plan9 Port project, standalone version☆35Nov 22, 2023Updated 2 years ago
- Formal semantics of LLVM IR in K☆45Jun 25, 2015Updated 10 years ago
- Igor Pro data analysis procedures☆15Sep 26, 2020Updated 5 years ago
- Implementation of cryptographic primitives using Idris☆123May 5, 2018Updated 7 years ago
- An implementation of Hoare and He's Unifying Theories of Programming in Isabelle☆38Jan 29, 2024Updated 2 years ago
- ☆10Updated this week
- A systems Lisp that compiles to C. Homoiconic macros, refcounted memory, Hindley-Milner type inference.☆33Feb 16, 2026Updated 2 weeks ago
- AMX NetLinx IP Socket Manager☆13May 2, 2017Updated 8 years ago
- MPIA Python Tutorial Source☆14May 15, 2012Updated 13 years ago
- ODIN console files, for remote control of PowerSDR☆13Aug 11, 2021Updated 4 years ago
- ☆10May 4, 2019Updated 6 years ago
- A simple Python Boolean library that can parse and manipulate dimacs as well as a custom language. Try some of the features out online he…☆10Jun 21, 2015Updated 10 years ago
- Deployed version of Tableaunoir. Do not modify this repository.☆11Feb 18, 2026Updated last week
- ☆11Nov 12, 2017Updated 8 years ago
- maxscript fun☆10Nov 22, 2019Updated 6 years ago
- Three hundred years ago, the Brazilian Space Agency discovered a rocky exoplanet only 38 light years from Earth. With a surface temperatu…☆10Feb 19, 2016Updated 10 years ago
- A verified permissioned centralized Blockchain for Isabelle/HOL☆11Feb 3, 2018Updated 8 years ago
- A port of QuickCheck to Idris☆60Oct 30, 2017Updated 8 years ago
- A Haskell to Coq compiler that represents effectful programs with the free monad☆45May 31, 2022Updated 3 years ago
- Simplified shell reimplementation of containers — see also https://github.com/arachsys/containers☆13Jan 25, 2023Updated 3 years ago
- A tool to extract plain text from HTML pages☆10Dec 7, 2017Updated 8 years ago
- Tableau for basic modal logic in Lean 3 - This is OLD and not maintained. See https://github.com/m4lvin/lean4-pdl instead.☆13Oct 24, 2023Updated 2 years ago
- Add global illumination to rio☆10Nov 14, 2024Updated last year
- Automated Measurement and Analysis of Open-Source Software☆14Oct 6, 2017Updated 8 years ago
- This is archive.cfgmtmcamp.eu ... the new site lives on https://github.com/cfgmgmtcamp/cfgmgmtcamp.eu☆12Dec 2, 2018Updated 7 years ago
- A declarative and ergonomic internationalization for Rust using Fluent. Mirror of https://gitlab.archlinux.org/orhun/fluent-i18n☆19Sep 29, 2025Updated 5 months ago
- libudev-compatible interface for devd☆15Nov 18, 2024Updated last year
- Zstandard for Ada - Fast real-time compression algorithm☆16Feb 3, 2023Updated 3 years ago