jimscarverQuantumLogicalFramework

quantum genesis constructive possibilist quantum logical synthesis
Displaying 1-20 of 58 versions of QuantumLogicalFramework
Sort by
  1. Not a part of any version track.
    cd11294
    v1.55.0
    3 hours ago
    Released on July 11, 2026 at 12:20:18PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.30.0-rc2
  2. Not a part of any version track.
    cd11294
    v1.55.0
    3 hours ago
    Released on July 11, 2026 at 12:20:18PM
    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.
    5dee0f3
    v1.54.0
    13 days ago
    Released on June 28, 2026 at 2:02:53PM
    Commit 5dee0f3 builds on its old leanprover/lean4:v4.30.0-rc2 after lake update
    v4.30.0-rc2
    16.7 MB Build archive size: 16723753 bytes.
  4. Not a part of any version track.
    8d74ca8
    v1.53.0
    14 days ago
    Released on June 27, 2026 at 12:26:32PM
    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.
    634c50d
    v1.52.0
    15 days ago
    Released on June 26, 2026 at 4:58:21PM
    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.
    597c65a
    v1.51.0
    16 days ago
    Released on June 25, 2026 at 2:04:47PM
    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.
    f7a6bf8
    v1.50.0
    16 days ago
    Released on June 25, 2026 at 1:12:22PM
    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.
    0793541
    v1.49.0
    16 days ago
    Released on June 25, 2026 at 12:51:53PM
    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.
    5c90fcf
    v1.48.0
    16 days ago
    Released on June 25, 2026 at 10:01:50AM
    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.
    1eca23e
    v1.47.0
    16 days ago
    Released on June 25, 2026 at 9:29:45AM
    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.
    7f7b6f7
    v1.46.0
    17 days ago
    Released on June 24, 2026 at 2:19:43PM
    Commit 7f7b6f7 builds on its old leanprover/lean4:v4.30.0-rc2 after lake update
    v4.30.0-rc2
    14.2 MB Build archive size: 14166017 bytes.
  12. Not a part of any version track.
    770c56f
    v1.45.0
    17 days ago
    Released on June 24, 2026 at 1:57:05PM
    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.
    688b513
    v1.44.0
    17 days ago
    Released on June 24, 2026 at 12:45:12PM
    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.
    82023be
    v1.43.0
    17 days ago
    Released on June 24, 2026 at 10:28:05AM
    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.
    923515b
    v1.42.0
    17 days ago
    Released on June 24, 2026 at 10:19:37AM
    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.
    47f594f
    v1.41.0
    17 days ago
    Released on June 24, 2026 at 9:43:07AM
    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.
    8236df7
    v1.40.0
    18 days ago
    Released on June 23, 2026 at 2:49:04PM
    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.
    a6747f7
    v1.39.0
    19 days ago
    Released on June 22, 2026 at 10:02:01AM
    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.
    93999d3
    v1.38.0
    19 days ago
    Released on June 22, 2026 at 9:59:11AM
    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.
    d48eb09
    v1.37.0
    19 days ago
    Released on June 22, 2026 at 9:47:08AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.30.0-rc2