dominique-unruh/scala-isabelle

Issues

• Support for Isabelle2024

  #14 opened 5 months ago by BookWood7th
  5

• Call sledgehammer on open goal of existing theory in Java

  #13 opened 8 months ago by BookWood7th
  2

• ToplevelState() not working with Isabelle2021

  #12 opened a year ago by luan-xiaokun
  1

• How to set up Isabelle session from existing ROOT file in Java

  #10 opened a year ago by mi-ki
  5

• Inconsistent behaviors of sledgehammer

  #9 opened a year ago by Lizn-zn
  3

• Update symbols table to Isabelle2022

  #7 opened 2 years ago by dominique-unruh
  1

• Sync control_isabelle_logged.ML with control_isabelle.ML

  #6 opened 3 years ago by dominique-unruh
  1

• Update `symbols` table

  #5 opened 3 years ago by dominique-unruh
  1

• Isabelle process not destroyed

  #3 opened 4 years ago by dominique-unruh
  6

• Imports will be helpful in README.md

  #2 opened 4 years ago by siddhartha-gadgil
  1