forked from PX4/PX4-Autopilot
-
Notifications
You must be signed in to change notification settings - Fork 0
Pull requests: fsprojects/PX4-Autopilot
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
[Lean Squad] feat(fv): Tasks 5+10 — IsInRange (13 theorems, 0 sorry) + REPORT.md updated to 383 theorems (run 76)
automation
lean-squad
#73
opened Apr 27, 2026 by
github-actions
Bot
Loading…
[Lean Squad] feat(fv): Tasks 5+1 — Crc32Sig (11 theorems, 0 sorry) + 3 new research targets (run 75)
automation
lean-squad
#72
opened Apr 27, 2026 by
github-actions
Bot
Loading…
[Lean Squad] feat(fv): SlewRate convergence proofs + crc32_signature informal spec (run 74)
automation
lean-squad
#71
opened Apr 27, 2026 by
github-actions
Bot
Loading…
[Lean Squad] feat(fv): Tasks 5+10 — Crc16Sig (8 theorems, 0 sorry) + REPORT.md updated to 388 theorems (run 71)
automation
lean-squad
#68
opened Apr 26, 2026 by
github-actions
Bot
Loading…
[Lean Squad] feat(fv): Tasks 6+8 — CORRESPONDENCE.md complete (34 targets) + bin_at_angle tests (run 70)
automation
lean-squad
#67
opened Apr 25, 2026 by
github-actions
Bot
Loading…
[Lean Squad] feat(formal-verification): CollisionPrev composition — 8 cross-module theorems 0 sorry (run 69)
automation
lean-squad
#66
opened Apr 25, 2026 by
github-actions
Bot
Loading…
[Lean Squad] feat(fv): get_lower_bound_angle informal spec + 8 theorems 0 sorry (run 68)
automation
lean-squad
#65
opened Apr 25, 2026 by
github-actions
Bot
Loading…
[Lean Squad] feat(formal-verification): GetBinAtAngle — Tasks 2+3+4+5, 13 theorems 0 sorry (run 67)
automation
lean-squad
#64
opened Apr 24, 2026 by
github-actions
Bot
Loading…
[Lean Squad] feat(formal-verification): Tasks 5+10 — sorry reduction 12→6, Atmosphere+SqrtLinear fully proved (run 66)
automation
lean-squad
#63
opened Apr 24, 2026 by
github-actions
Bot
Loading…
ProTip!
Find all pull requests that aren't related to any open issues with -linked:issue.