Proposal and implementation for full FOL in JSON-LD


Maybe you are interested of a fresh JSON-LD-compatible draft proposal 
for the JSON format of logic for provers:

There is a live pure-browser prover playground for the syntax

running my prover using Wasm.

Any comments and suggestions would be most welcome!


Tanel Tammet

Received on Monday, 31 August 2020 13:52:52 UTC