Kim Morrison 75c104ce06 feat: align List/Array/Vector.reverse lemmas (#6695) ... This PR aligns `List/Array/Vector.reverse` lemmas.		2025-01-19 08:40:06 +00:00
..
bench
compiler
elabissues
ir
lean	feat: align List/Array/Vector.reverse lemmas (#6695)	2025-01-19 08:40:06 +00:00
pkg
playground
plugin
simpperf
.gitignore
common.sh
lean-toolchain