max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2
lean4-htt/src/Init/Data/Nat/Bitwise
History
Kim Morrison b1ebe7b484
feat: missing Nat.and_xor_distrib_(left|right) (#5146)
2024-08-24 07:46:57 +00:00
..
Basic.lean perf: faster Nat.testBit (#4188) 2024-05-23 01:34:40 +00:00
Lemmas.lean feat: missing Nat.and_xor_distrib_(left|right) (#5146) 2024-08-24 07:46:57 +00:00