plclub/sf-in-lean

Tactics confusion with `apply` 3 days 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 30 days ago

good first issue

plclub/sf-in-lean

9

Development repo for translating Software Foundations to Lean

Lean

`rfl` versus `by rfl` about 1 month ago

good first issue

plclub/sf-in-lean

9

Development repo for translating Software Foundations to Lean

Lean

Switch to Verso-native development server about 1 month 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 about 1 month 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 about 1 month 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` about 2 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 about 2 months ago

help wanted

plclub/sf-in-lean

9

Development repo for translating Software Foundations to Lean

Lean

Get everything building 3 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 3 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