solanaqubitslean-verification-components0.7.1

Formally verified domain-specific invariants in Lean 4: DeFi, quantum information, cryptography, and distributed systems
#formal-verification #defi #quantum-computing #cryptography #distributed-systems #raft #lean4
Sort by
  1. Registry dependency.
    Found on Reservoir.

    mathlibv4.33.1

    The math library of Lean 4