Topic: "proof-trees"
kcsmnt0/proof-trees
Interactive proof tree editing
Language: Elm - Size: 19.5 KB - Last synced at: almost 2 years ago - Pushed at: over 6 years ago - Stars: 8 - Forks: 0
Zeta611/ebproofx
ebproof extended
Language: TeX - Size: 789 KB - Last synced at: 24 days ago - Pushed at: over 1 year ago - Stars: 5 - Forks: 1
niklasf/antichess-tree-server
HTTP API and C library to query Watkins antichess proof tables: 1. e3 is winning for White
Language: C - Size: 99.6 KB - Last synced at: about 1 month ago - Pushed at: about 8 years ago - Stars: 2 - Forks: 1
boaz23/PPL-ass-5
BGU PPL Course Assignment 5 - Lazy lists, CPS, introduction to logic programming in Prolog and proof trees
Language: Racket - Size: 219 KB - Last synced at: about 2 years ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 0
