jimscarverQuantumLogicalFramework

quantum genesis constructive possibilist quantum logical synthesis
Displaying 1-20 of 69 versions of QuantumLogicalFramework
Sort by
  1. Not a part of any version track.
    f006a55
    4 hours ago
    Released on August 5, 2026 at 4:08:59PM
    Commit f006a55 builds on its old leanprover/lean4:v4.30.0-rc2 after lake update
    v4.30.0-rc2
    33.7 MB Build archive size: 33749820 bytes.
  2. Not a part of any version track.
    22b0fd7
    v1.66.0
    a day ago
    Released on August 4, 2026 at 9:36:54AM
    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.
    8a2a6e1
    v1.65.0
    2 days ago
    Released on August 3, 2026 at 1:08:27PM
    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.
    9cdd8a4
    v1.64.0
    4 days ago
    Released on August 1, 2026 at 2:52:13PM
    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.
    b9d081a
    v1.63.0
    5 days ago
    Released on July 31, 2026 at 12:20:27PM
    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.
    cc23184
    v1.62.0
    6 days ago
    Released on July 30, 2026 at 1:53:21PM
    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.
    31b1e8a
    v1.61.0
    6 days ago
    Released on July 30, 2026 at 12:16:24PM
    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.
    4e13064
    v1.60.0
    7 days ago
    Released on July 29, 2026 at 12:38:43PM
    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.
    6ec4253
    v1.59.0
    8 days ago
    Released on July 28, 2026 at 1:50:30PM
    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.
    84eadde
    v1.58.0
    14 days ago
    Released on July 22, 2026 at 5:12:43PM
    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.
    c60e7a0
    v1.57.0
    16 days ago
    Released on July 20, 2026 at 2:25:47PM
    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.
    ebe29f0
    v1.56.0
    24 days ago
    Released on July 12, 2026 at 9:39:54PM
    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.
    cd11294
    v1.55.0
    25 days 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
  14. Not a part of any version track.
    5dee0f3
    v1.54.0
    a month 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.
  15. Not a part of any version track.
    8d74ca8
    v1.53.0
    a month 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
  16. Not a part of any version track.
    634c50d
    v1.52.0
    a month 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
  17. Not a part of any version track.
    597c65a
    v1.51.0
    a month 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
  18. Not a part of any version track.
    f7a6bf8
    v1.50.0
    a month 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
  19. Not a part of any version track.
    0793541
    v1.49.0
    a month 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
  20. Not a part of any version track.
    5c90fcf
    v1.48.0
    a month 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