Larsrh/Libisabelle: Libisabelle 0.9.2

Software OPEN SOURCE
Lars Hupel; Frank S. Thomas; Alexandre Archambault;
(2017)

Major changes <ul> <li>switched to Apache license (7e1c65f, #64)</li> <li>Isabelle2017 support (f2aa7cc)</li> </ul> Minor changes <ul> <li>dependency bumps (526a015, f8e2c76)</li> </ul>
Share - Bookmark

  • Download from
    Zenodo via Zenodo (Software, 2017)
  • Cite this software