Skip to content

Commit 5e0cfe7

Browse files
hyperpolymathhyperpolymath
committed
chore: drop Coq build artifacts from index
1 parent 34ebc75 commit 5e0cfe7

16 files changed

Lines changed: 0 additions & 1184 deletions

‎proofs/coq/.basic.aux‎

Lines changed: 0 additions & 82 deletions
This file was deleted.

‎proofs/coq/.list.aux‎

Lines changed: 0 additions & 87 deletions
This file was deleted.

‎proofs/coq/.nat.aux‎

Lines changed: 0 additions & 27 deletions
This file was deleted.

‎proofs/coq/.propositional.aux‎

Lines changed: 0 additions & 97 deletions
This file was deleted.

‎proofs/coq/algebra/.GroupTheory.aux‎

Lines changed: 0 additions & 1 deletion
This file was deleted.

‎proofs/coq/algebra/GroupTheory.glob‎

Lines changed: 0 additions & 2 deletions
This file was deleted.

0 commit comments

Comments
 (0)