list most mathlib tactics

leanprover-community · Jan 24, 2025 · 25696b2 · 25696b2
1 parent e674589
commit 25696b2
Show file tree

Hide file tree

Showing 66 changed files with 217 additions and 21,704 deletions.
diff --git a/Manual.lean b/Manual.lean
diff --git a/Manual/BasicTypes.lean b/Manual/BasicTypes.lean
diff --git a/Manual/BasicTypes/Array.lean b/Manual/BasicTypes/Array.lean
diff --git a/Manual/BasicTypes/Array/FFI.lean b/Manual/BasicTypes/Array/FFI.lean
diff --git a/Manual/BasicTypes/Array/Subarray.lean b/Manual/BasicTypes/Array/Subarray.lean
diff --git a/Manual/BasicTypes/Empty.lean b/Manual/BasicTypes/Empty.lean