Zenodo.org will be unavailable for 2 hours on September 29th from 06:00-08:00 UTC. See announcement.

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
551
167
views
downloads
All versions This version
Views 55158
Downloads 16716
Data volume 99.2 MB12.5 MB
Unique views 45850
Unique downloads 3510
More info on how stats are collected.
Available in Indexed in
Publication date:
October 2, 2018
DOI:
10.5281/zenodo.1442579

Zenodo DOI Badge

DOI 

10.5281/zenodo.1442579

Markdown 

[![DOI](https://zenodo.org/badge/DOI/10.5281/zenodo.1442579.svg)](https://doi.org/10.5281/zenodo.1442579)

reStructedText 

.. image:: https://zenodo.org/badge/DOI/10.5281/zenodo.1442579.svg
   :target: https://doi.org/10.5281/zenodo.1442579

HTML 

<a href="https://doi.org/10.5281/zenodo.1442579"><img src="https://zenodo.org/badge/DOI/10.5281/zenodo.1442579.svg" alt="DOI"></a>

Image URL 

https://zenodo.org/badge/DOI/10.5281/zenodo.1442579.svg

Target URL 

https://doi.org/10.5281/zenodo.1442579

Related identifiers:
Supplement to
License (for files):
Other (Open)

Versions

Version v1.0.1 10.5281/zenodo.1442579 Oct 2, 2018
Version v1.0.0 10.5281/zenodo.1442536 Oct 2, 2018
Version v1.0.0-RC3 10.5281/zenodo.1326390 Aug 2, 2018
Version v1.0.0-RC2 10.5281/zenodo.1302380 Jun 30, 2018
Version v1.0.0-RC1 10.5281/zenodo.1300302 Jun 29, 2018
View all 29 versions
Cite all versions? You can cite all versions by using the DOI 10.5281/zenodo.591695. This DOI represents all versions, and will always resolve to the latest one. Read more.

Share

Cite as

Export