The University of Groningen uses a piece of software named Tarski's World. This is a full documentation of it's format as well as different implementations of the format.
Code-For-Groningen/TarskisWorld
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
| Name | Name | Last commit date | ||
|---|---|---|---|---|