Skip to content

add _CoqProject files

b892e21
Select commit
Loading
Failed to load commit list.
Draft

Experiment: dunify proofs #1204

add _CoqProject files
b892e21
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs