Skip to content

Pull requests: Vilin97/lean-pool

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
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort

Pull requests list

Import crdt-lean
#231 opened Jun 28, 2026 by Vilin97 Owner Loading…
Import godel-loeb formalization
#225 opened Jun 26, 2026 by Vilin97 Owner Loading…
[import] RellichKondrachov
#216 opened Jun 25, 2026 by Vilin97 Owner Loading…
[import] Runge-Kutta Order Conditions
#215 opened Jun 25, 2026 by Vilin97 Owner Loading…
[import] Kuramoto
#209 opened Jun 25, 2026 by Vilin97 Owner Loading…
[import] SpectralPositivity
#203 opened Jun 24, 2026 by Vilin97 Owner Loading…
[import] Sundogcert
#199 opened Jun 24, 2026 by Vilin97 Owner Loading…
[import] Erdos346
#197 opened Jun 24, 2026 by Vilin97 Owner Loading…
ProTip! Exclude everything labeled bug with -label:bug.