1. 15
    Functional Programming in Lean book formalmethods leanprover.github.io
    pushcx avatar via pushcx 3 months ago |
    Archive.org Archive.today Ghostarchive
    | no comments