Reservoir
No results found
All Packages
violet
A programming language, half theorem prover
Readme
Versions (1)
Dependencies (2)
Displaying
1-1
of
1
versions of
violet
Sort by
Date
Not a part of any version track.
baa86fb
10 months ago
Released on November 27, 2023 at 5:27:01PM
Commit baa86fb builds on its old leanprover/lean4:v4.2.0
v4.2.0
1
20