Skip to content

release-0.98
Compare
Choose a tag to compare
@sternk sternk released this 10 Jun 21:46
· 5751 commits to master since this release
release-0.98
43e9819
  • hets as web server displaying svg, xml and pdf formats and supporting automatic proofs
  • a further induction variant when translating CASL to SoftFOL (CASL2SoftFOLInduction2)
  • extended user interface for disproving and adding sentences interactively
  • support for Isabelle2011 (HOL only, not HOLCF)
  • logical frameworks via the logics LF and Framework
  • !MacPorts packages for hets (and meta packages for installation on Snow Leopard)
  • logic FPL (logic of functional programs)
  • CAD system logics FreeCAD and EnCL (formerly CSL)
  • experimental !HolLight logic
  • logic CspCASL overhaul
  • support for literate HetCASL
Assets 2
Loading