You are viewing a single comment's thread from:RE: Tauchain Advanced Concepts View the full contextcomplexring (68)in #tauchain • 8 years ago (edited)So, does Tau independently implement an automated theorem prover as part of its protocol?
Only as part of the client. It's not part of the protocol itself. Furthermore, Ohad insists the Tau autoprover will be state of the art.
What are the atomic symbols in the autoprover?
Ohad states: "just like notation3 reasoners (see dana's previous post). only on tau rdf's type system is augmented with mltt."