- From: Tanel Tammet <Tanel.Tammet@ttu.ee>
- Date: Mon, 31 Aug 2020 13:57:02 +0300
- To: public-rdf-dev@w3.org, semantic-web@w3.org, public-webapps@w3.org
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