sf-in-lean good first issues (Lean)

Tactics confusion with `apply` about 1 month ago

documentation good first issue

plclub/sf-in-lean

9

Development repo for translating Software Foundations to Lean

Lean

Fix naming convention in all files 2 months ago

good first issue

plclub/sf-in-lean

9

Development repo for translating Software Foundations to Lean

Lean

`rfl` versus `by rfl` 2 months ago

good first issue

plclub/sf-in-lean

9

Development repo for translating Software Foundations to Lean

Lean

Switch to Verso-native development server 2 months ago

good first issue after first release Easy

plclub/sf-in-lean

9

Development repo for translating Software Foundations to Lean

Lean

Port Preface.v and Postscript.v from original SF 3 months 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 3 months 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` 3 months ago

documentation good first issue

plclub/sf-in-lean

9

Development repo for translating Software Foundations to Lean

Lean

Redo user-facing proofs manually 3 months ago

help wanted

plclub/sf-in-lean

9

Development repo for translating Software Foundations to Lean

Lean

Get everything building 4 months 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 4 months ago

help wanted question In progress

plclub/sf-in-lean

9

Development repo for translating Software Foundations to Lean

Lean

plclub/sf-in-lean

Open Issues Need Help