VirtualTam's bookmarks

1. LEAN - Programming Language and Theorem Prover

   2024-12-23
   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