mrdouglasnyGaussianField

Displaying 1-1 of 1 versions of GaussianField
Sort by
  1. Not a part of any version track.
    1283a27
    17 hours ago
    Released on August 9, 2026 at 2:51:03PM
    Commit 1283a27 builds on its recent leanprover/lean4:v4.33.0-rc1
    v4.33.0-rc1
    17.0 MB Build archive size: 16996155 bytes.