Skip to content

Fix the Rocq statements of 1962 A2, A6 and B5 (#358) - #360

Merged
GeorgeTsoukalas merged 1 commit into
mainfrom
fix-rocq-1962-statements
Oct 6, 2026
Merged

Fix the Rocq statements of 1962 A2, A6 and B5 (#358)#360
GeorgeTsoukalas merged 1 commit into
mainfrom
fix-rocq-1962-statements

Add files via upload

7217728
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar