Reservoir
No results found
All Packages
wasm
Formalising the WASM spec in Lean
#formal-verification
#wasm
Readme
Versions (6)
Dependencies (8)
Displaying
1-6
of
6
versions of
wasm
Sort by
Date
Not a part of any version track.
939e41c
3 months ago
Released on June 22, 2024 at 8:26:06PM
Commit 939e41c builds on its old leanprover/lean4:v4.8.0
v4.8.0
Not a part of any version track.
5c34460
v24.04.0
6 months ago
Released on April 13, 2024 at 12:23:12AM
Build data not currently included on Reservoir.
See the package repository's CI instead.
v4.6.1
Not a part of any version track.
7a3c5ad
v24.03.0
7 months ago
Released on March 1, 2024 at 1:05:29AM
Commit 7a3c5ad builds on its old leanprover/lean4:v4.6.0
v4.6.0
Not a part of any version track.
cc2459c
v24.02.2
7 months ago
Released on March 1, 2024 at 12:54:47AM
Build data not currently included on Reservoir.
See the package repository's CI instead.
v4.6.0-rc1
Not a part of any version track.
e38e69c
v24.02.1
7 months ago
Released on February 29, 2024 at 2:44:22AM
Build data not currently included on Reservoir.
See the package repository's CI instead.
v4.5.0
Not a part of any version track.
ea21063
v24.02.0
8 months ago
Released on February 2, 2024 at 1:54:00AM
Build data not currently included on Reservoir.
See the package repository's CI instead.
v4.5.0-rc1
1
20