Proposal and implementation for full FOL in JSON-LD

Hi,

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

https://github.com/tammet/json-ld-logic

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

http://logictools.org/json.html

running my https://github.com/tammet/gkc prover using Wasm.

Any comments and suggestions would be most welcome!

Regards,

Tanel Tammet

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