☰
All Packages
Criteria
All Packages
Criteria
Readme
Versions (1)
LeanMySQL
A MySQL API for Lean 4
#mysql
Displaying
1-1
of
1
versions of
LeanMySQL
Sort by
Date
Not a part of any version track.
803d171
3 years ago
Released on March 11, 2022 at 4:58:38PM
Commit 803d171 builds on its old leanprover/lean4:nightly-2022-03-09
nightly-2022-03-09
1
20