jimscarverQuantumLogicalFramework

quantum genesis constructive possibilist quantum logical synthesis
Displaying 1-20 of 78 versions of QuantumLogicalFramework
Sort by
  1. Not a part of any version track.
    37e0654
    2 days ago
    Released on August 24, 2026 at 12:26:57PM
    Commit 37e0654 builds on its recent leanprover/lean4:v4.34.0-rc1
    v4.34.0-rc1
    44.6 MB Build archive size: 44552551 bytes.
  2. Not a part of any version track.
    7da9ed5
    v1.74.0
    6 days ago
    Released on August 20, 2026 at 2:10:58PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.34.0-rc1
  3. Not a part of any version track.
    e0a5fed
    v1.73.0
    7 days ago
    Released on August 19, 2026 at 12:38:04PM
    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.
    541f051
    v1.72.0
    11 days ago
    Released on August 15, 2026 at 3:17:29PM
    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.
    561da1c
    v1.71.0
    13 days ago
    Released on August 13, 2026 at 12:14:58PM
    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.
    e56a6a9
    v1.70.0
    14 days ago
    Released on August 12, 2026 at 3:29:20PM
    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.
    52ff0b3
    v1.69.0
    17 days ago
    Released on August 9, 2026 at 4:28:12PM
    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.
    61d11f9
    v1.68.1
    20 days ago
    Released on August 6, 2026 at 4:00:46PM
    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.
    f3a82cd
    v1.68.0
    20 days ago
    Released on August 6, 2026 at 3:40:58PM
    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.
    f8f30c8
    v1.67.0
    21 days ago
    Released on August 5, 2026 at 4:16:15PM
    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.
    22b0fd7
    v1.66.0
    22 days 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
  12. Not a part of any version track.
    8a2a6e1
    v1.65.0
    23 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
  13. Not a part of any version track.
    9cdd8a4
    v1.64.0
    25 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
  14. Not a part of any version track.
    b9d081a
    v1.63.0
    a month 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
  15. Not a part of any version track.
    cc23184
    v1.62.0
    a month 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
  16. Not a part of any version track.
    31b1e8a
    v1.61.0
    a month 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
  17. Not a part of any version track.
    4e13064
    v1.60.0
    a month 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
  18. Not a part of any version track.
    6ec4253
    v1.59.0
    a month 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
  19. Not a part of any version track.
    84eadde
    v1.58.0
    a month 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
  20. Not a part of any version track.
    c60e7a0
    v1.57.0
    a month 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