Skip to content

Fix Coq -> Rocq in some header#99

Merged
proux01 merged 1 commit intocoq:masterfrom proux01:fix-headerJan 29, 2025

Commits

Commits on Jan 29, 2025