Skip to content

Pull requests: avigad/mathematics_in_lean_source

New pull request New
17 Open 206 Closed
17 Open 206 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

Fix typo in Gaussian integers paragraph in C03 S02
#415 opened Aug 30, 2026 by SnirBroshi Loading…
Delete duplicate theorem in #check in C02 S03
#414 opened Aug 30, 2026 by SnirBroshi Loading…
Delete "SOLUTION" comment in C02 S03
#413 opened Aug 30, 2026 by SnirBroshi Loading…
Fix completions shortcut on Mac in C02 S03 and C03 S01
#412 opened Aug 30, 2026 by SnirBroshi Loading…
Fix Loogle link in C02 S03
#411 opened Aug 30, 2026 by SnirBroshi Loading…
[typo] wrong typewriter text ending
#410 opened Aug 26, 2026 by ondrik Loading…
Corrected typo in solution
#407 opened Aug 13, 2026 by danderson70-UNL Loading…
chore: move to the module system
#406 opened Aug 3, 2026 by grunweg Loading…
1
Don't suggest non-existent eq_symm
#405 opened Jul 1, 2026 by jhrcek Loading…
4
Correct bugs and one example proof
#396 opened Apr 30, 2026 by guojing0 Loading…
Correct abs_add to abs_add_le
#395 opened Apr 29, 2026 by guojing0 Loading…
Fix order of checks for add_le_add and add_lt_add
#394 opened Apr 28, 2026 by guojing0 Loading…
Added sphinx copy button extension for copying codeblocks
#389 opened Jan 1, 2026 by pritishkamath Loading…
§2.5: explain how to call inf_le_left when arguments are not inferrable
#323 opened Oct 18, 2025 by darijgr Contributor Loading…
Fix typo
#299 opened May 24, 2025 by nimarasekh Loading…
Add missing theorems and solutions to C02 S01
#279 opened Feb 1, 2025 by gaearon Loading…
2
Add MIL.Common import to intro example
#278 opened Feb 1, 2025 by gaearon Loading…
ProTip! Mix and match filters to narrow down what you’re looking for.