| .. |
|
AC
|
perf: add prelude to all Lean modules
|
2024-02-18 14:55:17 -08:00 |
|
LinearArith
|
perf: add prelude to all Lean modules
|
2024-02-18 14:55:17 -08:00 |
|
Simp
|
feat: simprocs for BitVec (#3407)
|
2024-02-19 14:01:00 -08:00 |
|
AC.lean
|
perf: add prelude to all Lean modules
|
2024-02-18 14:55:17 -08:00 |
|
Acyclic.lean
|
perf: add prelude to all Lean modules
|
2024-02-18 14:55:17 -08:00 |
|
Apply.lean
|
perf: add prelude to all Lean modules
|
2024-02-18 14:55:17 -08:00 |
|
Assert.lean
|
perf: add prelude to all Lean modules
|
2024-02-18 14:55:17 -08:00 |
|
Assumption.lean
|
perf: add prelude to all Lean modules
|
2024-02-18 14:55:17 -08:00 |
|
AuxLemma.lean
|
perf: add prelude to all Lean modules
|
2024-02-18 14:55:17 -08:00 |
|
Cases.lean
|
perf: add prelude to all Lean modules
|
2024-02-18 14:55:17 -08:00 |
|
Cleanup.lean
|
perf: add prelude to all Lean modules
|
2024-02-18 14:55:17 -08:00 |
|
Clear.lean
|
perf: add prelude to all Lean modules
|
2024-02-18 14:55:17 -08:00 |
|
Congr.lean
|
perf: add prelude to all Lean modules
|
2024-02-18 14:55:17 -08:00 |
|
Constructor.lean
|
perf: add prelude to all Lean modules
|
2024-02-18 14:55:17 -08:00 |
|
Contradiction.lean
|
perf: add prelude to all Lean modules
|
2024-02-18 14:55:17 -08:00 |
|
Delta.lean
|
perf: add prelude to all Lean modules
|
2024-02-18 14:55:17 -08:00 |
|
ElimInfo.lean
|
perf: add prelude to all Lean modules
|
2024-02-18 14:55:17 -08:00 |
|
FVarSubst.lean
|
perf: add prelude to all Lean modules
|
2024-02-18 14:55:17 -08:00 |
|
Generalize.lean
|
perf: add prelude to all Lean modules
|
2024-02-18 14:55:17 -08:00 |
|
Induction.lean
|
perf: add prelude to all Lean modules
|
2024-02-18 14:55:17 -08:00 |
|
Injection.lean
|
perf: add prelude to all Lean modules
|
2024-02-18 14:55:17 -08:00 |
|
Intro.lean
|
perf: add prelude to all Lean modules
|
2024-02-18 14:55:17 -08:00 |
|
LinearArith.lean
|
perf: add prelude to all Lean modules
|
2024-02-18 14:55:17 -08:00 |
|
Refl.lean
|
perf: add prelude to all Lean modules
|
2024-02-18 14:55:17 -08:00 |
|
Rename.lean
|
perf: add prelude to all Lean modules
|
2024-02-18 14:55:17 -08:00 |
|
Repeat.lean
|
perf: add prelude to all Lean modules
|
2024-02-18 14:55:17 -08:00 |
|
Replace.lean
|
perf: add prelude to all Lean modules
|
2024-02-18 14:55:17 -08:00 |
|
Revert.lean
|
perf: add prelude to all Lean modules
|
2024-02-18 14:55:17 -08:00 |
|
Rewrite.lean
|
perf: add prelude to all Lean modules
|
2024-02-18 14:55:17 -08:00 |
|
Simp.lean
|
perf: add prelude to all Lean modules
|
2024-02-18 14:55:17 -08:00 |
|
Split.lean
|
refactor: use isAppOfArity (#3394)
|
2024-02-19 09:24:11 +00:00 |
|
SplitIf.lean
|
perf: add prelude to all Lean modules
|
2024-02-18 14:55:17 -08:00 |
|
Subst.lean
|
perf: add prelude to all Lean modules
|
2024-02-18 14:55:17 -08:00 |
|
TryThis.lean
|
perf: add prelude to all Lean modules
|
2024-02-18 14:55:17 -08:00 |
|
Unfold.lean
|
perf: add prelude to all Lean modules
|
2024-02-18 14:55:17 -08:00 |
|
UnifyEq.lean
|
perf: add prelude to all Lean modules
|
2024-02-18 14:55:17 -08:00 |
|
Util.lean
|
perf: add prelude to all Lean modules
|
2024-02-18 14:55:17 -08:00 |
