wetneb / sheetshowLinks
A renderer for sheet diagrams in bimonoidal categories
☆13Updated 4 years ago
Alternatives and similar repositories for sheetshow
Users that are interested in sheetshow are comparing it to the libraries listed below
Sorting:
- A tool for web browsers that simulates execution of the dynamic GoI abstract machine for the lambda-calculus.☆13Updated 4 years ago
- A web interactive tool for building proofs in the sequent calculus of Linear Logic, with its backend written in OCaml☆24Updated 6 months ago
- An automated theorem prover that uses Büchi automata.☆43Updated 4 years ago
- Mystery Languages☆41Updated 2 years ago
- ☆56Updated 6 months ago
- Papers on aspects of Generalised Algebraic Theories, Contextual Categories and Mathematical Theory Of Data☆41Updated last week
- A graphical interactive proof assistant designed for education☆169Updated 11 months ago
- Paradoxes of type theory, described didactically. With accompanying proofs in Agda.☆39Updated 5 years ago
- ☆64Updated 3 years ago
- Turnstyle is a graphical esoteric programming language based on lambda calculus☆81Updated last month
- A (formalised) general definition of type theories☆57Updated 4 years ago
- The artifact associated with "Parsing with Zippers (Functional Pearl)" (Darragh and Adams) to appear in ICFP 2020.☆29Updated last year
- Unassorted scribbles on formal methods, type theory, category theory, and so on, and so on☆22Updated last year
- Natty is a natural-language proof assistant with an embedded automatic prover for higher-order logic. It is in an early stage of develop…☆38Updated 3 weeks ago
- Sokoban (in Coq) [maintainer=@erikmd]☆23Updated 9 months ago
- Correctness proof of the Huffman coding algorithm in Coq [maintainer=@palmskog]☆14Updated this week
- Implementing a small functional language with a combinator based graph-reduction machine☆37Updated last month
- Template to effortlessly build math-rich websites☆39Updated 3 years ago
- miniKanren with a first-order representation of the search space☆17Updated last year
- Very controlled natural language tactics for Lean☆64Updated last year
- Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT☆129Updated 2 months ago
- User Interfaces for Programming Languages: The Compendium☆28Updated 4 years ago
- A sudoku game where you have to prove that your deductions are valid☆117Updated 3 years ago
- ☆141Updated 3 years ago
- Partial Commutative Monoids☆31Updated 4 months ago
- Alexander Grothendieck's 1972 talk at CERN, on scientific research☆64Updated last year
- A web-based graphical proof assistant for LK and Hoare logic.☆36Updated 2 years ago
- Automated Reasoning for the Working Mathematician☆11Updated 6 years ago
- Alg is a program that generates all finite models of a first-order theory. It is optimized for equational theories.☆84Updated 4 years ago
- Catalog of visual lambda calculi☆158Updated 3 months ago