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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Demystifying the magic of supertactics☆13Nov 2, 2021Updated 4 years ago
- Hintikka's World is a pedagogical tool for learning modal logic, more precisely epistemic modal logic.☆13Oct 26, 2025Updated last year
- Explaining category theory by example☆10Jun 30, 2017Updated 9 years ago
- ☆12Sep 26, 2016Updated 10 years ago
- Formal semantics of LLVM IR in K☆45Jun 25, 2015Updated 11 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- ☆11Aug 29, 2018Updated 8 years ago
- ☆17Jun 17, 2017Updated 9 years ago
- UDP-only netcat implementation with OCaml / MirageOS☆15Mar 21, 2017Updated 9 years ago
- A tool for drawing derivation trees of Tau Prolog☆12Feb 23, 2022Updated 4 years ago
- Propositional logic tools, inspired by the Coq standard library.☆10Dec 19, 2017Updated 8 years ago
- Langage et environnements dédiés à l’algorithmique.☆13Jan 2, 2020Updated 6 years ago
- A tiny implementation of dependent types.☆11Oct 24, 2017Updated 9 years ago
- SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too☆37Jan 8, 2017Updated 9 years ago
- SML implementation of System T from PFPL.☆11Jun 28, 2017Updated 9 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Coq library for serialization to S-expressions☆20Jul 3, 2023Updated 3 years ago
- Modern utility library and typescript typings for building JSON Schema documents☆14Nov 28, 2025Updated 11 months ago
- ☆15Jan 4, 2018Updated 8 years ago
- Spacemacs Layer for LiquidHaskell☆13Jun 10, 2017Updated 9 years ago
- First-order automated theorem prover based on the tableau method☆19Jul 8, 2026Updated 3 months ago
- "Fail Fast" process management for Haskell; inspired by Erlang☆16Jan 19, 2017Updated 9 years ago
- ☆11Aug 1, 2026Updated 2 months ago
- My LaTeX Packages☆15Updated this week
- Deployed version of Tableaunoir. Do not modify this repository.☆11Apr 19, 2026Updated 6 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Here we give programs that check if Turing machines halt or not.☆17Sep 1, 2025Updated last year
- Automatic issue triaging through mini-websites for guiding users through contributing to open-source projects.☆12Oct 8, 2023Updated 3 years ago
- Dependently-typed structures for quantum physics in Idris☆13Nov 25, 2015Updated 10 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 3 years ago
- Components for graphical applications that interact with bluesky libraries☆12Sep 18, 2026Updated last month
- Interactive and object-oriented programming in Agda using coinductive types☆25Nov 29, 2025Updated 11 months ago
- A language-integrated proof assistant, for and in Racket☆39Aug 26, 2016Updated 10 years ago
- Yet another haskell term rewriting library☆18Aug 27, 2025Updated last year
- A slack bot that will fetch type signatures via Hoogle☆21May 11, 2016Updated 10 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Fully verified model checker for realtime systems☆17Sep 2, 2022Updated 4 years ago
- Xi-cam is a graphical environment for synchrotron data analysis, management, and visualization developed by the Advanced Light Source at …☆12Apr 3, 2026Updated 6 months ago
- A Certified Interpreter for ML with Structural Polymorphism☆45Apr 11, 2025Updated last year
- This repository contains some documentation and illustration in Tableaunoir.☆10Feb 26, 2026Updated 8 months ago
- Mechanizing Types and Programming Languages using Beluga☆24May 29, 2020Updated 6 years ago
- A list-based (O(1)) implementation of undo-redo for signals!☆14Sep 14, 2023Updated 3 years ago
- Devious Devices - Expansion☆16Oct 30, 2018Updated 8 years ago