Skip to content

release-0.97
Compare
Choose a tag to compare
@sternk sternk released this 10 Jun 21:46
· 6506 commits to master since this release
release-0.97
37a36c6
  • static analysis of simple refinements
  • improved heterogeneous static analysis
  • first steps from OWL version 1 to version 2
  • hets as a yet simple web server
  • some change-management support
  • proving support via disproving and adding sentences
  • logical frameworks (LF)
  • Ubuntu packages
  • logic ADL (a description language based on relational algebra)
  • logic CSL (replacing logic Reduce)
Assets 2
Loading