Reservoir
No results found
All Packages
formal_systems
LEAN4 formalization of the undergraduate lecture "Formale Systeme" at TU Dresden (WIP)
Readme
Versions (5)
Dependencies (7)
Displaying
1-5
of
5
versions of
formal_systems
Sort by
Date
Not a part of any version track.
217df6e
12 days ago
Released on September 30, 2024 at 4:41:56PM
Commit 217df6e builds on its old leanprover/lean4:v4.11.0
v4.11.0
5.6 MB
Build archive size: 5609611 bytes.
Not a part of any version track.
5352caa
v0.3.1
7 months ago
Released on March 11, 2024 at 7:47:23AM
Commit 5352caa builds on its old leanprover/lean4:v4.6.1
v4.6.1
Not a part of any version track.
a5f4fc2
v0.3.0
8 months ago
Released on February 2, 2024 at 8:45:54AM
Build data not currently included on Reservoir.
See the package repository's CI instead.
v4.5.0
Not a part of any version track.
0c2cf20
v0.2.0
a year ago
Released on August 31, 2023 at 6:28:00AM
Build data not currently included on Reservoir.
See the package repository's CI instead.
nightly-2023-08-05
Not a part of any version track.
5e7a8fe
v0.1.0
2 years ago
Released on March 21, 2023 at 9:05:56AM
1
20