plclub/sf-in-lean

`rfl` versus `by rfl` about 4 hours ago

good first issue

plclub/sf-in-lean

9

Development repo for translating Software Foundations to Lean

Lean

Fix naming convention in all files 7 days ago

good first issue

plclub/sf-in-lean

9

Development repo for translating Software Foundations to Lean

Lean

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

good first issue

plclub/sf-in-lean

9

Development repo for translating Software Foundations to Lean

Lean

Write Preface.lean and Postscript.lean in branch `add-preface-postscript` 9 days ago

documentation good first issue

plclub/sf-in-lean

9

Development repo for translating Software Foundations to Lean

Lean

Redo user-facing proofs manually 12 days ago

help wanted

plclub/sf-in-lean

9

Development repo for translating Software Foundations to Lean

Lean

Bib chapters — porting plan and open questions 12 days ago

good first issue

plclub/sf-in-lean

9

Development repo for translating Software Foundations to Lean

Lean

Get everything building about 1 month ago

good first issue help wanted In progress

plclub/sf-in-lean

9

Development repo for translating Software Foundations to Lean

Lean

Get things building; record status of all files about 1 month ago

help wanted question In progress

plclub/sf-in-lean

9

Development repo for translating Software Foundations to Lean

Lean

Open Issues Need Help