VirtualTam's bookmarks

1. LEAN - Programming Language and Theorem Prover 2024-12-23

   tags: mathematics, programming-language, programming/functional-programming

   [ permalink ]

   • leanprover/lean4
   • About Lean
   • Lean FRO (Focus Research Organization)
   • The Lean FRO Year 2 Roadmap
   • Functional Programming in Lean