**Profile:** [Benjamin C. Pierce | U of Penn Prof](https://www.cis.upenn.edu/benjamin-c-pierce/) ![[Benjamin C. Pierce.png|195]] **eBooks**: [Logical Foundations](https://www.engineering.upenn.edu/~cis5000/current/sf-lean/lf/html/) ## The Software Foundations series Logical Foundations is part one in the [Software Foundations series](https://github.com/plclub/sf-in-lean) implemented in Lean4 *Leadership:* Mike Hicks and Benjamin C. Pierce lead the SF-in-Lean project. *Authors:* The Lean adaptation of _Software Foundations_ was created by Mike Hicks, Benjamin C. Pierce, One An, Roger Burtonpatel, Jonathan Chan, Harry Goldstein, Niklas Halonen, Chris Henson, Kihong Heo, Yipeng Liu, and Daniel Sainati Refer to [sf-in-lean/Credits.lean](https://github.com/plclub/sf-in-lean/blob/main/Credits.lean) for additional credits. --- **`LeanNotes curator:`** [[dducoff]], [Contact dducoff](https://tally.so/r/rjQYWL) **`Posted Date:`** 2026-10-25