scala-isabelle
A Scala library for controlling/interacting with Isabelle. python code snippet by @github-repos on Codeshare. 0 stars, 5 views.
Language: python
Author: GitHub Repos (@github-repos)
0 stars · 5 views
Viewing path: CHANGELOG.md
Files
- pure (txt)
- exceptions (txt)
- misc (txt)
- experiments (txt)
- mlvalue (txt)
- main (txt)
- resources (txt)
- de (txt)
- isabelle (txt)
- control (txt)
- misc (txt)
- scala (txt)
- unruh (txt)
- isabelle (txt)
- pure (txt)
- exceptions (txt)
- Dockerfile (txt)
- src (txt)
- test (txt)
- isabelle (txt)
- Subdir (txt)
- test.py (py)
- Bad-HOL (txt)
- scala (txt)
- de (txt)
- unruh (txt)
- isabelle (txt)
- control (txt)
- unruh (txt)
- de (txt)
- java (txt)
- control (txt)
- misc (txt)
- mlvalue (txt)
- CHANGELOG.md (md)
- project (txt)
- component-example (txt)
- project (txt)
- src (txt)
- main (txt)
- scala (txt)
- example (txt)
- etc (txt)
- .github (github)
- workflows (txt)
- scripts (txt)
- .run (run)
- ci (txt)
- Makefile (txt)
- isabelle.py (py)
- test.yml (yml)
- connect-to-running-isabelle.py (py)
- README.md (md)
- LICENSE (txt)
- ATTRIBUTION.md (markdown)
- JavaExample.java (java)
