KLR
A formalization of ML kernel languages
Displaying 1-9 of 9 versions of KLR
Sort by
Date
- Not a part of any version track.
39a7d3a2 days agoReleased on October 3, 2025 at 4:44:13PMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.21.0 - Not a part of any version track.
c6edffbv4.23.06 days agoReleased on September 29, 2025 at 11:14:32PMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.23.0 - Not a part of any version track.
a8ef993v0.0.123 months agoReleased on July 7, 2025 at 8:16:32PMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.20.0 - Not a part of any version track.
ac461fav0.0.113 months agoReleased on June 30, 2025 at 12:01:06PMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.20.0 - Not a part of any version track.
7b7a568v0.0.104 months agoReleased on June 16, 2025 at 11:02:39PMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.20.0 - Not a part of any version track.
7b8c9fdv0.0.96 months agoReleased on March 29, 2025 at 12:11:05AMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.17.0 - Not a part of any version track.
71b00b9v0.0.87 months agoReleased on March 11, 2025 at 8:11:42PMCommit 71b00b9 builds on its old leanprover/lean4:v4.16.0v4.16.047.4 MB Build archive size: 47378440 bytes. - Not a part of any version track.
b42e6fcv0.0.78 months agoReleased on February 12, 2025 at 8:42:19PMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.15.0 - Not a part of any version track.
f9b53cdv0.0.68 months agoReleased on February 12, 2025 at 5:55:20PMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.15.0