Skip to content

docs(formal): remove the duplicated Set Printing Width comment (9 modules) - #205

Merged
hyperpolymath merged 1 commit into
mainfrom
fix/coq-comment-dedup
Jul 28, 2026
Merged

docs(formal): remove the duplicated Set Printing Width comment (9 modules)#205
hyperpolymath merged 1 commit into
mainfrom
fix/coq-comment-dedup

docs(formal): remove the duplicated Set Printing Width comment (9 mod…

6e10d9d
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar