Def SpeedCenterAPI.getRunResponse

Modification history

2025-12-02 19:39
LongestPole/Main.lean
ci: decommission speedcenter (#32358) …
Deleted SpeedCenterAPI.getRunResponseView on Github →
2024-04-28 22:28
LongestPole/Main.lean
feat: 'lake exe pole' computes the longest pole (#8361) …
Added SpeedCenterAPI.getRunResponseView on Github →