max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2
lean4-htt/tests
History
Kim Morrison 16e67dc738
feat: grind annotations for Nat.Bitwise (#8852) 
This PR adds grind annotations for `Nat.testBit` and bitwise operations
on `Nat`.

(Also includes some in-progress tests for `BitVec`.)
2025-06-18 02:42:43 +00:00
..
bench chore: add .dSYM files (Mac debug symbols) to tests .gitignore files (#8771) 2025-06-13 15:27:46 +00:00
compiler chore: add .dSYM files (Mac debug symbols) to tests .gitignore files (#8771) 2025-06-13 15:27:46 +00:00
elabissues
ir
lean feat: grind annotations for Nat.Bitwise (#8852) 2025-06-18 02:42:43 +00:00
pkg feat: explicit defeq attribute (#8419) 2025-06-06 18:40:06 +00:00
playground
plugin chore: add .dSYM files (Mac debug symbols) to tests .gitignore files (#8771) 2025-06-13 15:27:46 +00:00
simpperf
.gitignore
common.sh
lean-toolchain