Skip to content

The Portal to Isabelle (PISA) project with additional premise selection functionality

Notifications You must be signed in to change notification settings

Simontwice/interactive_isabelle

 
 

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

9 Commits
 
 
 
 
 
 
 
 

About

The Portal to Isabelle (PISA) project with additional premise selection functionality

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages

  • Scala 68.9%
  • Python 30.5%
  • Shell 0.6%