plclub

plclub/sf-in-lean

Development repo for translating Software Foundations to Lean

9 stars 1 forks 9 watchers Lean Apache License 2.0

2 Open Issues Need Help Last updated: Jul 1, 2026

Open Issues Need Help

View All on GitHub

Get things building; record status of all files about 5 hours ago

help wanted question In progress

plclub/sf-in-lean

9

Development repo for translating Software Foundations to Lean

Lean

Port Preface.v and Postscript.v from original SF 6 days ago

good first issue

plclub/sf-in-lean

9

Development repo for translating Software Foundations to Lean

Lean