`S`oftware `F`oundations series `-` `L`ogical `F`oundations is being written in Lean. It's headed up by[[ Mike Hicks]] and [[Benjamin C. Pierce]]. - eBook: [Software Foundations series - Logical Foundations](https://www.engineering.upenn.edu/~cis5000/current/sf-lean/lf/html/) - SF-in-Lean GitHub: [plclub/sf-in-lean: Development repo for translating Software Foundations to Lean](https://github.com/plclub/sf-in-lean) - LeanNotes GitHub: ![[Appendix/Media/Icons/under-construction.png]] #TODO - class: [CIS 5000: Course Homepage](https://www.engineering.upenn.edu/~cis5000/current/index.html#schedule)