Skip to content

Revert "Revert "Add example from https://github.com/coq/coq/issues/16…

9847136
Select commit
Loading
Failed to load commit list.
Open

Add example from https://github.com/coq/coq/issues/16172 again #23

Revert "Revert "Add example from https://github.com/coq/coq/issues/16…
9847136
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs