argumentcomputerSpark.lean

Displaying 1-1 of 1 versions of Spark.lean
Sort by
  1. Not a part of any version track.
    8180cf3
    3 years ago
    Released on June 6, 2022 at 2:22:29PM
    Commit 8180cf3 builds on its old leanprover/lean4:nightly-2022-05-29
    nightly-2022-05-29