dominique-unruh scala-isabelle issues - Githubissues

dominique-unruh / scala-isabelle

A Scala library for controlling/interacting with Isabelle

https://dominique-unruh.github.io/scala-isabelle

MIT License

37 stars 7 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Support for Isabelle2024

#14 BookWood7th closed 4 months ago
5
Call sledgehammer on open goal of existing theory in Java

#13 BookWood7th closed 7 months ago
2
ToplevelState() not working with Isabelle2021

#12 luan-xiaokun closed 11 months ago
1
Added JIsabelle.setupSetLogic method.

#11 mi-ki closed 1 year ago
0
How to set up Isabelle session from existing ROOT file in Java

#10 mi-ki closed 1 year ago
5
Inconsistent behaviors of sledgehammer

#9 Lizn-zn closed 1 year ago
3
Add Transition type and extend other Pure types, mostly Position.

#8 marcinwrochna closed 1 year ago
2
Update symbols table to Isabelle2022

#7 dominique-unruh closed 2 years ago
1
Sync control_isabelle_logged.ML with control_isabelle.ML

#6 dominique-unruh closed 2 years ago
1
Update `symbols` table

#5 dominique-unruh closed 2 years ago
1
Typo/example comment

#4 nicolasdalsass closed 3 years ago
1
Isabelle process not destroyed

#3 dominique-unruh closed 3 years ago
6
Imports will be helpful in README.md

#2 siddhartha-gadgil closed 3 years ago
1
Add a Gitter chat badge to README.md

#1 gitter-badger closed 4 years ago
0