Skip to content

TPTP; database access; renewal of RESTful interface; IRIs; GDOL; docker
Compare
Choose a tag to compare
@tillmo tillmo released this 20 Nov 12:25
· 990 commits to master since this release
release-0.9904
00f0243
  • new logic TPTP with up-to-date parser
  • database access: development graph can be written to a database
  • renewal of RESTful interface
  • unified treatment of IRIs
  • first steps towards generic DOL (GDOL)
  • docker file for Hets
Assets 2
Loading