proof-trees

There are 4 repositories under proof-trees topic.

kcsmnt0/proof-trees
Interactive proof tree editing
Language:Elm8 2 00
Zeta611/ebproofx
ebproof extended
Language:TeX5 2 11
niklasf/antichess-tree-server
HTTP API and C library to query Watkins antichess proof tables: 1. e3 is winning for White
Language:C2 5 01
boaz23/PPL-ass-5
BGU PPL Course Assignment 5 - Lazy lists, CPS, introduction to logic programming in Prolog and proof trees
Language:Racket1 0