proof-trees

Here are 4 public repositories matching this topic...

ebproof extended

tex latex latex-package proof-trees formal-proofs tabularray ebproof

HTTP API and C library to query Watkins antichess proof tables: 1. e3 is winning for White

chess lichess antichess http-api proof-trees

TACET: a self-distilling neuro-symbolic cascade that amortises LLM cost in knowledge-graph QA, with auditable Datalog proof trees

BGU PPL Course Assignment 5 - Lazy lists, CPS, introduction to logic programming in Prolog and proof trees

scheme prolog cps logic-programming lazy-lists proof-trees

Add a description, image, and links to the proof-trees topic page so that developers can more easily learn about it.

To associate your repository with the proof-trees topic, visit your repo's landing page and select "manage topics."