No results found

lFTCM2024

Repository for the conference LFTCM2024
Displaying 1-1 of 1 versions of lFTCM2024
Sort by
  1. Not a part of any version track.
    33e1d8e
    6 months ago
    Released on April 16, 2024 at 4:08:39AM
    Commit 33e1d8e builds on its old leanprover/lean4:v4.7.0
    v4.7.0