Li-yao Xia pushed to project branch master at Li-yao Xia / rocq-planet

Li-yao Xia
2026-04-04T09:58:00Z

Li-yao Xia (4ee80f69) at 04 Apr 09:58

Update config

... and 2 more commits