Commit d46078f

authored

Merge pull request #975 from LPCIC/gares-patch-2

Coq -> Rocq in the readme

2 parents 3773243 + bddc061 commit d46078fCopy full SHA for d46078f

1 file changed

+76

-69

lines changed

README.md

1 file changed

+76

-69

lines changed

Comments

(0)