W dniu 31.08.2020 o 12:57, Tanel Tammet pisze: > 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 > > > Hi Tanel, I invite you to a similar project: Notation3. https://github.com/w3c/N3 Best, -- Dominik Tomaszuk Research Fellow University of Bialystok PolandReceived on Monday, 31 August 2020 14:35:15 UTC
This archive was generated by hypermail 2.4.0 : Monday, 31 August 2020 14:35:16 UTC