jimscarverQuantumLogicalFramework

quantum genesis constructive possibilist quantum logical synthesis
Displaying 1-20 of 34 versions of QuantumLogicalFramework
Sort by
  1. Not a part of any version track.
    3a3c954
    6 hours ago
    Released on June 17, 2026 at 3:33:44PM
    Commit 3a3c954 builds on its old leanprover/lean4:v4.30.0-rc2
    v4.30.0-rc2
    8.6 MB Build archive size: 8632410 bytes.
  2. Not a part of any version track.
    6101315
    v1.31.1
    a day ago
    Released on June 16, 2026 at 1:27:04PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.30.0-rc2
  3. Not a part of any version track.
    56064f0
    v1.31.0
    a day ago
    Released on June 16, 2026 at 1:21:49PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.30.0-rc2
  4. Not a part of any version track.
    eb7445f
    v1.30.0
    2 days ago
    Released on June 15, 2026 at 1:05:15PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.30.0-rc2
  5. Not a part of any version track.
    daeb5d6
    v1.29.0
    2 days ago
    Released on June 15, 2026 at 10:30:53AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.30.0-rc2
  6. Not a part of any version track.
    de2f9d8
    v1.28.0
    2 days ago
    Released on June 15, 2026 at 9:58:25AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.30.0-rc2
  7. Not a part of any version track.
    82b61bd
    v1.27.0
    3 days ago
    Released on June 14, 2026 at 2:47:11PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.30.0-rc2
  8. Not a part of any version track.
    366b2a2
    v1.26.0
    3 days ago
    Released on June 14, 2026 at 1:25:00PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.30.0-rc2
  9. Not a part of any version track.
    9f7d980
    v1.25.0
    3 days ago
    Released on June 14, 2026 at 1:08:54PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.30.0-rc2
  10. Not a part of any version track.
    cc6b31b
    v1.24.0
    3 days ago
    Released on June 14, 2026 at 12:47:13PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.30.0-rc2
  11. Not a part of any version track.
    28da9ee
    v1.23.0
    3 days ago
    Released on June 14, 2026 at 12:11:57PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.30.0-rc2
  12. Not a part of any version track.
    5be5910
    v1.22.0
    3 days ago
    Released on June 14, 2026 at 11:58:54AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.30.0-rc2
  13. Not a part of any version track.
    bfb68ff
    v1.21.0
    3 days ago
    Released on June 14, 2026 at 11:12:11AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.30.0-rc2
  14. Not a part of any version track.
    cd0027b
    v1.20.0
    3 days ago
    Released on June 14, 2026 at 10:58:54AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.30.0-rc2
  15. Not a part of any version track.
    252dc7c
    v1.19.0
    3 days ago
    Released on June 14, 2026 at 10:41:44AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.30.0-rc2
  16. Not a part of any version track.
    00c90d6
    v1.18.0
    3 days ago
    Released on June 14, 2026 at 9:57:29AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.30.0-rc2
  17. Not a part of any version track.
    4346b52
    v1.17.0
    4 days ago
    Released on June 13, 2026 at 2:50:25PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.30.0-rc2
  18. Not a part of any version track.
    d8ca18d
    v1.16.0
    4 days ago
    Released on June 13, 2026 at 2:32:04PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.30.0-rc2
  19. Not a part of any version track.
    0d2d1ce
    v1.15.0
    4 days ago
    Released on June 13, 2026 at 1:35:28PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.30.0-rc2
  20. Not a part of any version track.
    a2e9ee4
    v1.14.0
    4 days ago
    Released on June 13, 2026 at 10:57:11AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.30.0-rc2