tau-prolog / draw-derivation-treesLinks
A tool for drawing derivation trees of Tau Prolog
☆11Updated 3 years ago
Alternatives and similar repositories for draw-derivation-trees
Users that are interested in draw-derivation-trees are comparing it to the libraries listed below
Sorting:
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆33Updated last year
- ☆35Updated last year
- Accompanying materials for "A Core Calculus for Documents"☆33Updated last year
- A structure editor for a simple functional programming language, with Vim-like shortcuts and commands.☆15Updated last year
- Implementation of dependent type theory in SWI-Prolog☆9Updated 4 years ago
- Kanren with databases☆43Updated 10 months ago
- Benoit Desouter's library for tabling on delimited continuations☆9Updated 9 years ago
- A library for non-deterministically parsing natural language expressions into a structured form.☆17Updated 2 years ago
- First-order automated theorem prover based on the tableau method☆15Updated 7 months ago
- The opentheory tool processes higher order logic theory packages☆16Updated 2 years ago
- A metalanguage for creating sophisticated DSLs in Racket.☆32Updated this week
- Functional Geometry in Prolog☆17Updated 5 years ago
- Sokoban implementation in lean for proving solvability / unsolvability☆13Updated 4 years ago
- Random ideas about libraries for Prolog☆12Updated 8 years ago
- Tool for compiling Lean to WASM☆19Updated last year
- Verified decision procedures for modal logics in Lean☆12Updated 5 years ago
- Papers on aspects of Generalised Algebraic Theories, Contextual Categories and Mathematical Theory Of Data☆41Updated 3 weeks ago
- Artifact for paper "When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-Class Polymorphism" (https://popl24.si…☆15Updated last year
- Lean4 backend using `libgccjit`!☆11Updated last year
- AST export from Lean 4☆12Updated 11 months ago
- Relational interpreter for miniKanren, in miniKanren.☆14Updated 3 years ago
- Offline partial evaluation system for Prolog written using the cogen approach☆19Updated 8 years ago
- Interpreter for the reversible functional language rFun☆36Updated 7 years ago
- An embedding and formalization of GAP (groups, algorithms, Programming) in LEAN4☆15Updated 3 years ago
- A Jupyter kernel for Logtalk☆13Updated this week
- TPTP linear logic version☆13Updated 5 months ago
- An English translation of Deligne's three "Hodge theory" papers☆11Updated 3 weeks ago
- A heuristic procedure for proving inequalities☆33Updated 6 years ago
- Synless is a language-agnostic tree editor.☆21Updated 2 months ago
- Fast, simplified WAM-based Prolog system☆22Updated last month