Skip to content

Merge remote-tracking branch 'origin/main' into feat/rename-coq-refer…

eccba65
Select commit
Loading
Failed to load commit list.
Open

Rename Coq references to Rocq/Waterproof/code #86

Merge remote-tracking branch 'origin/main' into feat/rename-coq-refer…
eccba65
Select commit
Loading
Failed to load commit list.

There are no checks for this commit