1. 10
    Lean 4, release v4.17.0 formalmethods release github.com/leanprover
    ehamberg avatar via ehamberg 8 days ago |
    Archive.org Archive.today Ghostarchive
    | no comments

  1.