ebproof extended
-
Updated
May 24, 2026 - TeX
#
proof-trees
Here are 5 public repositories matching this topic...
HTTP API and C library to query Watkins antichess proof tables: 1. e3 is winning for White
-
Updated
Feb 7, 2017 - C
A self-distilling neuro-symbolic cascade that amortises LLM cost across knowledge-graph QA and regulatory-compliance checking, with auditable Datalog proof trees.
datalog knowledge-graph compliance proof-trees kgqa neuro-symbolic llm auditable-ai llm-cascade rule-distillation cost-amortization
-
Updated
Oct 27, 2026 - Python
BGU PPL Course Assignment 5 - Lazy lists, CPS, introduction to logic programming in Prolog and proof trees
-
Updated
Jul 21, 2021 - Racket
Editor for type systems, inference rules, proof trees and soundness proofs, with live PDF preview and export to Typst and LaTeX
editor latex type-theory programming-languages natural-deduction proof-trees inference-rules type-systems typst
-
Updated
Oct 13, 2026 - TypeScript
Add this topic to your repo
To associate your repository with the proof-trees topic, visit your repo's landing page and select "manage topics."