Skip to content

A unique execution path for the treatement of universes in declare.ml#89

Open
herbelin wants to merge 1 commit intocoq:masterfrom herbelin:one-universe-execution-path-in-declare
+188

Commits

Commits on May 21, 2024