search

carneades / carneades-4

Version 4 of Carneades, implemented in Go
https://carneades.github.io/
Other
48 stars 13 forks source link

Proof Standards for Issue Schemes #37

Open tfgordon opened 7 years ago

tfgordon commented 7 years ago

Extend the syntax and semantics of issue schemes to allow the proof standard for issues instantiating the scheme to be selected.