utensilGinacLean

A work-in-progress Lean 4 binding to GiNaC
Displaying 1-7 of 7 versions of GinacLean
Sort by
  1. Not a part of any version track.
    67cfb12
    10 months ago
    Released on October 9, 2024 at 5:33:14AM
    Commit 67cfb12 fails to build on leanprover/lean4:v4.8.0
    v4.8.0
  2. Not a part of any version track.
    ad8b1dc
    v0.0.1-alpha.5
    2 years ago
    Released on October 19, 2023 at 9:14:13AM
    Commit ad8b1dc fails to build on leanprover/lean4:v4.2.0-rc3
    v4.2.0-rc3
  3. Not a part of any version track.
    7d4ccce
    v0.0.1-alpha.4
    2 years ago
    Released on October 19, 2023 at 6:07:06AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.2.0-rc3
  4. Not a part of any version track.
    23d249c
    v0.0.1-alpha.3
    2 years ago
    Released on October 19, 2023 at 1:40:19AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.2.0-rc3
  5. Not a part of any version track.
    75f479e
    v0.0.1-alpha.2
    2 years ago
    Released on October 17, 2023 at 10:52:17AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.2.0-rc3
  6. Not a part of any version track.
    4e62b26
    v0.0.1-alpha.1
    2 years ago
    Released on October 17, 2023 at 7:57:04AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.2.0-rc3
  7. Not a part of any version track.
    39b7f57
    v0.0.1-alpha
    2 years ago
    Released on October 16, 2023 at 2:17:06PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.0.0