List view
- No due date•1/1 issues closed
The 0.4 release
No due date•4/4 issues closed- No due date•4/4 issues closed
Integrate Tarski and FS programmatically. While this will be part of FS, it is likely that some tasks may arise requiring to refactor Tarski in some way.
Overdue by 7 year(s)•Due by March 30, 2018Have Tarski capable of emitting JSON documents that FS backend can process.
Overdue by 7 year(s)•Due by March 9, 2018•4/4 issues closed