max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2
lean4-htt/src/Init/Grind/Ring
History
Kim Morrison 8d5da6491a
chore: remove provable fields from Grind.Nat/IntModule (#9499)
2025-07-24 05:23:35 +00:00
..
Basic.lean chore: remove provable fields from Grind.Nat/IntModule (#9499) 2025-07-24 05:23:35 +00:00
Envelope.lean fix: refactor grind's module/ring design to avoid a diamond (#9168) 2025-07-03 06:50:46 +00:00
Field.lean fix: refactor grind's module/ring design to avoid a diamond (#9168) 2025-07-03 06:50:46 +00:00
OfSemiring.lean fix: refactor grind's module/ring design to avoid a diamond (#9168) 2025-07-03 06:50:46 +00:00
Poly.lean fix: refactor grind's module/ring design to avoid a diamond (#9168) 2025-07-03 06:50:46 +00:00
ToInt.lean feat: make private the default in module (#9044) 2025-06-28 16:30:53 +00:00