-
Notifications
You must be signed in to change notification settings - Fork 1
- #25 · bcpierce00 opened
on Jun 24, 2026
Issues
is:issue state:open
is:issue state:open
Issue creation is restricted in this repository
Search results
inversioncase namingenhancementNew feature or requestNew feature or requestStatus: Open.#40 In plclub/sf-in-lean;- Status: Open.#39 In plclub/sf-in-lean;
Port Preface.v and Postscript.v from original SF
good first issueGood for newcomersGood for newcomersStatus: Open.#34 In plclub/sf-in-lean;- Status: Open.#27 In plclub/sf-in-lean;
- Status: Open.#25 In plclub/sf-in-lean;
- Status: Open.#19 In plclub/sf-in-lean;
- Status: Open.#17 In plclub/sf-in-lean;
- Status: Open.#16 In plclub/sf-in-lean;
- Status: Open.#15 In plclub/sf-in-lean;
- Status: Open.#14 In plclub/sf-in-lean;
- Status: Open.#13 In plclub/sf-in-lean;
- Status: Open.#12 In plclub/sf-in-lean;