swh:1:snp:f1b70234498a5694220a6bd8ea2ee7b459c469a1
- HEAD
- refs/heads/comonad-equality
- refs/heads/finite-map-remove-facts
- refs/heads/gh-pages
- refs/heads/logic
- refs/heads/master
- refs/heads/monadlaws
- refs/heads/pmonads
- refs/heads/polymorphic-maps
- refs/heads/state-universe-polymorphic
- refs/heads/string-fold-direction
- refs/heads/universe-polymorphism
- refs/heads/v00
- refs/heads/v02-reorg
- refs/heads/v04
- refs/heads/v06
- refs/heads/v08
- refs/heads/v8.4
- refs/heads/v8.5
- refs/heads/v8.5-mono
- refs/heads/v8.6
- refs/heads/v8.7
- refs/heads/v8.8
- refs/heads/v8.9
- refs/heads/vector_lemmas
- refs/heads/vzaliva-v8.6-writer
- refs/tags/v0.10.0
- refs/tags/v0.10.1
- refs/tags/v0.10.2
- refs/tags/v0.10.3
- refs/tags/v0.11.0
- refs/tags/v0.11.1
- refs/tags/v0.11.2
- refs/tags/v0.11.3
- refs/tags/v0.11.4
- refs/tags/v0.11.5
- refs/tags/v0.11.6
- refs/tags/v0.11.7
- refs/tags/v0.11.8
- refs/tags/v0.12.0
- refs/tags/v0.12.1
- refs/tags/v0.8.0-coq-8.4
- refs/tags/v0.9.0
- refs/tags/v0.9.0-beta3
- refs/tags/v0.9.1
- refs/tags/v0.9.1-8.4
- refs/tags/v0.9.2
- refs/tags/v0.9.3
- refs/tags/v0.9.4
- refs/tags/v0.9.5
- refs/tags/v0.9.7
- refs/tags/v0.9.8
- refs/tags/v0.9.9
- refs/tags/v1.0.0-beta2
Cook and download a directory from the Software Heritage Vault
You have requested the cooking of the directory with identifier swh:1:dir:f35398ddec578c1c1ded583cff6fd8d871b0ae1a into a standard tar.gz archive
.
Are you sure you want to continue ?
Download a directory from the Software Heritage Vault
You have requested the download of the directory with identifier swh:1:dir:f35398ddec578c1c1ded583cff6fd8d871b0ae1a as a standard tar.gz archive
.
Are you sure you want to continue ?
Cook and download a revision from the Software Heritage Vault
You have requested the cooking of the history heading to revision with identifier swh:1:rev:952e5e17ac7d79edcffba16b5de3ea1ccec65019 into a bare git archive
.
Are you sure you want to continue ?
Download a revision from the Software Heritage Vault
You have requested the download of the history heading to revision with identifier swh:1:rev:952e5e17ac7d79edcffba16b5de3ea1ccec65019 as a bare git archive
.
Are you sure you want to continue ?
Invalid Email !
The provided email is not well-formed.
Download link has expired
The requested archive is no longer available for download from the Software Heritage Vault.
Do you want to cook it again ?
To reference or cite the objects present in the Software Heritage archive, permalinks based on SoftWare Hash IDentifiers (SWHIDs) must be used.
Select below a type of object currently browsed in order to display its associated SWHID and permalink.
Moving Logic instances
File | Mode | Size |
---|---|---|
examples | ||
theories | ||
tools | ||
.gitignore | -rw-r--r-- | 74 bytes |
LICENSE | -rw-r--r-- | 1.5 KB |
Makefile | -rw-r--r-- | 420 bytes |
README.md | -rw-r--r-- | 1.3 KB |