kmillCSE290Q0.1.0

CSE 290Q: Topics in Interactive Theorem Provers
#math
Displaying 1-1 of 1 versions of CSE290Q
Sort by
  1. 0.1Version track: 0.1
    0.1.0
    a year ago
    Released on May 30, 2025 at 4:00:46PM
    Commit 56994cd builds on its old leanprover/lean4:v4.18.0-rc1
    v4.18.0-rc1
    1.2 MB Build archive size: 1194151 bytes.