Skip to content

chore: switch to rocq lang#2358

Draft
Alizter wants to merge 1 commit into
HoTT:masterfrom
Alizter:push-puutmwzupzpt
Draft

chore: switch to rocq lang#2358
Alizter wants to merge 1 commit into
HoTT:masterfrom
Alizter:push-puutmwzupzpt

chore: switch to rocq lang

12f4393
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 error and 2 warnings
nix
failed Apr 24, 2026 in 42s