Software Open Access

larsrh/libisabelle: libisabelle 1.0.1

Lars Hupel; Frank S. Thomas; Alexandre Archambault

Minor changes

  • loaded theory check now takes session qualifier into account (#72, 42b1a64)
  • pull up-to-date AFP artifact (c8f7413)

Files (783.6 kB)
Name Size
larsrh/libisabelle-v1.0.1.zip
md5:f7b3d9cfea325f4243aa60085bdf2067
783.6 kB Download
188
140
views
downloads
All versions This version
Views 18824
Downloads 14012
Data volume 83.7 MB9.4 MB
Unique views 10822
Unique downloads 156

Share

Cite as