Skip to content

Pull requests: plclub/sf-in-lean

New pull request New
8 Open 45 Closed
8 Open 45 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

LF/Basics: Pulling apart full and terse content
#83 opened Jul 14, 2026 by hgoldstein95 Collaborator Loading…
2
added characterizing lemmas; updated proofs accordingly
#82 opened Jul 14, 2026 by mwhicks1 Collaborator Loading…
Formatting and naming improvements to Imp
#80 opened Jul 13, 2026 by mwhicks1 Collaborator Loading…
16
Tell the story of irreducible, rewrite, and automation from a pedagogical and practical perspective.
#79 opened Jul 13, 2026 by rogerburtonpatel Collaborator • Draft
19
Handle Lean code block flags in project extraction
#62 opened Jul 7, 2026 by berberman Collaborator Loading…
15
Introduce match code actions from Batteries in UsingLean
#55 opened Jul 5, 2026 by berberman Collaborator Loading…
41
Typeclasses
#46 opened Jun 29, 2026 by chenson2018 Collaborator Loading…
28
Add initial version of automated grading
#43 opened Jun 29, 2026 by xhalo32 Collaborator • Draft
1
6
ProTip! Exclude everything labeled bug with -label:bug.