Another attempt for visualizing proofs
☆12Nov 19, 2024Updated last year
Alternatives and similar repositories for prooffold
Users that are interested in prooffold are comparing it to the libraries listed below
Sorting:
- Deployed version of Tableaunoir. Do not modify this repository.☆11Feb 28, 2026Updated last week
- formally and easily, describe the semantics.☆13Aug 17, 2020Updated 5 years ago
- A tiny tikzzz editor in the browser☆10Mar 29, 2025Updated 11 months ago
- A library for non-deterministically parsing natural language expressions into a structured form.☆18Feb 3, 2023Updated 3 years ago
- An online blackboard 🖉 with fridge magnets 🌈🧲 for teaching, and making animations 🏃 and presentations ⎚. All of that in a lightweigh…☆202Updated this week
- OCaml library to transform an Llvm control flow graph in an SMT formula.☆13Apr 20, 2018Updated 7 years ago
- A generic goal preprocessing tool for proof automation tactics in Coq☆16Feb 10, 2026Updated 3 weeks ago
- A verified Implementation of a mini prolog☆17Nov 27, 2022Updated 3 years ago
- miniKanren with a first-order representation of the search space☆17Jul 23, 2024Updated last year
- Matériel utilisé dans les cours Pédago1 et Pédago2 de l'ENS Rennes☆19Jan 16, 2026Updated last month
- A meta-circular interpreter of a subset of Scheme☆16Apr 12, 2020Updated 5 years ago
- Alternative implementation of the logical framework Dedukti in Rust☆23Apr 10, 2025Updated 10 months ago
- a version of the 2048 game for Coq☆22Jan 30, 2026Updated last month
- Truth-table generator for classical propositional logic☆26May 10, 2021Updated 4 years ago
- A mini language for logic programming☆23Jun 5, 2020Updated 5 years ago
- Tiny verified SAT-solver☆30Jan 7, 2022Updated 4 years ago
- A modular parametricity plugin for proof transfer in Coq [maintainers=@CohenCyril,@ecranceMERCE,@amahboubi,@lweqx,@MysaaJava]☆27Jan 23, 2026Updated last month
- Algebraic proof discovery in Agda☆35Dec 6, 2021Updated 4 years ago
- Sokoban (in Coq) [maintainer=@erikmd]☆24Jan 3, 2025Updated last year
- This package provides a Coq formalization of abstract algebra using a functional programming style. The modules contained within the pack…☆28Feb 28, 2019Updated 7 years ago
- Kleene algebra modulo theories☆27Nov 21, 2022Updated 3 years ago
- LP and MIP modeling in OCaml☆29Jun 24, 2025Updated 8 months ago
- TouIST, the IDE & Language for Logic (backed by SAT, SMT and QBF solvers)☆68Jul 21, 2025Updated 7 months ago
- Specification of the Cedille Core language☆36Jul 21, 2020Updated 5 years ago
- Dice Language Support for VS Code☆10Sep 29, 2020Updated 5 years ago
- PyXAI (Python eXplainable AI) is a Python library (version 3.6 or later) allowing to bring formal explanations suited to (regression or c…☆39Jan 20, 2026Updated last month
- Fun plugin to play with the Gallina AST.☆39Oct 3, 2019Updated 6 years ago
- A Coq to Cedille compiler written in Coq☆34Sep 22, 2020Updated 5 years ago
- Coq plugin for monomorphization and C code generation☆40Jan 16, 2026Updated last month
- Grow procedual art☆37Mar 25, 2025Updated 11 months ago
- Coq library on rewriting theory and termination☆37Jan 27, 2026Updated last month
- A minimal ML, type-inferred, compiled, and/or interpreted in less than 750 lines☆39Feb 13, 2020Updated 6 years ago
- Metamath verifier in Python☆42Jun 7, 2025Updated 9 months ago
- OCaml with typed algebraic effects☆53Oct 12, 2018Updated 7 years ago
- NES emulator in OCaml☆43Jul 21, 2023Updated 2 years ago
- A tool to index your papers/interesting links/... and quickly search through them☆50Dec 26, 2021Updated 4 years ago
- Coq library for reasoning about quantum programs☆39Oct 9, 2025Updated 5 months ago
- Sources of the EuroProofNet web site.☆13Feb 28, 2026Updated last week
- ☆10Feb 23, 2026Updated 2 weeks ago