1. 7
    Lean Forward: Usable Computer-Checked Proofs and Computations for Number Theorists formalmethods math lean-forward.github.io
    pushcx avatar via pushcx 19 days ago | cached | no comments

  1.