https://github.com/pnvdiscord/software-foundations-lean

📚 (WIP) Rewriting Software Foundations in Lean 4
https://github.com/pnvdiscord/software-foundations-lean

formal-verification lean programming-language-theory software-foundations

Last synced: 7 months ago
JSON representation

📚 (WIP) Rewriting Software Foundations in Lean 4

• Host: GitHub
• URL: https://github.com/pnvdiscord/software-foundations-lean
• Owner: PnVDiscord
• License: agpl-3.0
• Created: 2025-07-11T18:03:09.000Z (11 months ago)
• Default Branch: main
• Last Pushed: 2025-10-24T06:10:15.000Z (7 months ago)
• Last Synced: 2025-10-24T08:20:51.656Z (7 months ago)
• Topics: formal-verification, lean, programming-language-theory, software-foundations
• Language: Lean
• Homepage: https://softwarefoundations.cis.upenn.edu/
• Size: 44.9 KB
• Stars: 17
• Watchers: 0
• Forks: 3
• Open Issues: 1
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

          
software-foundations-lean

========

Software Foundations rewritten in Lean 4

> [!NOTE]

> This project is still very incomplete.

```bash

lake build

```

 

--------

*software-foundations-lean* is primarily distributed under the terms of the

[GNU Affero General Public License v3.0] or any later version. See [COPYRIGHT]

for details.

[GNU Affero General Public License v3.0]: LICENSE

[COPYRIGHT]: COPYRIGHT