max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2
lean4-htt/src/Init/Data/Int
History
Joachim Breitner 2299c3c9ec
chore: post-stage0 adaptions for #8104 (#8317)
2025-05-13 11:38:21 +00:00
..
Bitwise feat: enable experimental module system in Init (#8047) 2025-04-23 17:21:33 +00:00
DivMod chore: fix typo in Int/DivMod/Basic (#8255) 2025-05-07 10:00:12 +00:00
Basic.lean feat: enable experimental module system in Init (#8047) 2025-04-23 17:21:33 +00:00
Bitwise.lean feat: enable experimental module system in Init (#8047) 2025-04-23 17:21:33 +00:00
Compare.lean feat: enable experimental module system in Init (#8047) 2025-04-23 17:21:33 +00:00
Cooper.lean chore: deprecate some Int.ofNat_* lemmas (#8000) 2025-04-25 16:16:58 +00:00
DivMod.lean feat: enable experimental module system in Init (#8047) 2025-04-23 17:21:33 +00:00
Gcd.lean feat: enable experimental module system in Init (#8047) 2025-04-23 17:21:33 +00:00
Lemmas.lean chore: deprecate some Int.ofNat_* lemmas (#8000) 2025-04-25 16:16:58 +00:00
LemmasAux.lean feat: enable experimental module system in Init (#8047) 2025-04-23 17:21:33 +00:00
Linear.lean chore: post-stage0 adaptions for #8104 (#8317) 2025-05-13 11:38:21 +00:00
OfNat.lean chore: deprecate some Int.ofNat_* lemmas (#8000) 2025-04-25 16:16:58 +00:00
Order.lean chore: deprecate some Int.ofNat_* lemmas (#8000) 2025-04-25 16:16:58 +00:00
Pow.lean feat: enable experimental module system in Init (#8047) 2025-04-23 17:21:33 +00:00