arthurpaulinoLeanMySQL

A MySQL API for Lean 4
#mysql
Displaying 1-1 of 1 versions of LeanMySQL
Sort by
  1. 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