forked from teorth/equational_theories
-
Notifications
You must be signed in to change notification settings - Fork 0
/
.gitattributes
13 lines (13 loc) · 924 Bytes
/
.gitattributes
1
2
3
4
5
6
7
8
9
10
11
12
13
equational_theories/Generated/TrivialBruteforce/theorems/*.lean linguist-generated
equational_theories/Generated/EquationSearch/theorems/*.lean linguist-generated
equational_theories/Generated/Equation1.lean linguist-generated
equational_theories/Generated/FinitePoly/Refutation*.lean linguist-generated
equational_theories/Generated/FinitePoly.lean linguist-generated
equational_theories/Generated/All4x4Tables/Refutation*.lean linguist-generated
equational_theories/Generated/All4x4Tables.lean linguist-generated
equational_theories/Generated/FinSearch/theorems/*.lean linguist-generated
equational_theories/Generated/FinSearch.lean linguist-generated
equational_theories/Generated/MagmaEgg/*/*.lean linguist-generated
equational_theories/Generated/MagmaEgg/*.lean linguist-generated
equational_theories/Generated/VampireProven.lean linguist-generated
equational_theories/Generated/VampireProven/*.lean linguist-generated