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
64
114
views
downloads
All versions This version
Views 641
Downloads 1144
Data volume 67.0 MB3.1 MB
Unique views 501
Unique downloads 62

Share

Cite as