kim-emlean-training-data

Displaying 1-9 of 9 versions of lean-training-data
Sort by
  1. Not a part of any version track.
    e719eea
    7 months ago
    Released on February 14, 2025 at 9:21:45AM
    Commit e719eea builds on its old leanprover/lean4:v4.16.0
    v4.16.0
    254.3 MB Build archive size: 254275561 bytes.
  2. Not a part of any version track.
    bce849f
    v4.16.0
    7 months ago
    Released on February 12, 2025 at 12:33:21AM
    Commit bce849f builds on its old leanprover/lean4:v4.16.0
    v4.16.0
    254.3 MB Build archive size: 254277912 bytes.
  3. Not a part of any version track.
    cd9cef4
    v4.15.0
    7 months ago
    Released on February 12, 2025 at 12:30:52AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.15.0
  4. Not a part of any version track.
    db4bfe6
    v4.14.0
    7 months ago
    Released on February 12, 2025 at 12:27:51AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.14.0
  5. Not a part of any version track.
    a7df19c
    v4.13.0
    7 months ago
    Released on February 12, 2025 at 12:18:19AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.13.0
  6. Not a part of any version track.
    8a98919
    v4.12.0
    7 months ago
    Released on February 12, 2025 at 12:11:08AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.12.0
  7. Not a part of any version track.
    35a2e83
    v4.11.0
    7 months ago
    Released on February 12, 2025 at 12:07:08AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.11.0
  8. Not a part of any version track.
    8f8c725
    v4.10.0
    7 months ago
    Released on February 12, 2025 at 12:04:39AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.10.0
  9. Not a part of any version track.
    d385ad7
    v4.9.0
    7 months ago
    Released on February 12, 2025 at 12:00:22AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.9.0