plclub/sf-in-lean

Switch to Verso-native development server 1 day ago

good first issue after first release Easy

plclub/sf-in-lean

9

Development repo for translating Software Foundations to Lean

Lean

`rfl` versus `by rfl` 2 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 3 days ago

good first issue

plclub/sf-in-lean

9

Development repo for translating Software Foundations to Lean

Lean

Bib chapters — porting plan and open questions 4 days ago

good first issue

plclub/sf-in-lean

9

Development repo for translating Software Foundations to Lean

Lean

Fix naming convention in all files 16 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` 19 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 21 days ago

help wanted

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 2 months ago

help wanted question In progress

plclub/sf-in-lean

9

Development repo for translating Software Foundations to Lean

Lean

Open Issues Need Help