generated from pitmonticone/LeanProject
-
Notifications
You must be signed in to change notification settings - Fork 57
/
.gitattributes
16 lines (16 loc) · 1.09 KB
/
.gitattributes
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
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
equational_theories/Generated/Greedy/*.lean linguist-generated
equational_theories/Generated/FiniteImplicationSearch/theorems/*.lean linguist-generated
data/forcing_rules/* linguist-generated