Json export - Githubissues

Deducteam / Logipedia

An encyclopedia of proofs

56 stars 11 forks source link

Json export #12

Closed gabrielhdt closed 5 years ago

gabrielhdt commented 5 years ago

Implementation of an export, roughly from dk to json.

[ ] json files examples
[ ] specifications (as json schemas?)