| .. |
|
IR
|
fix: symbol clashes between packages (#11082)
|
2025-11-19 02:24:44 +00:00 |
|
LCNF
|
fix: compilation of projections on non trivial structures (#11340)
|
2025-11-24 19:25:03 +00:00 |
|
BorrowedAnnotation.lean
|
refactor: module-ize Lean (#9330)
|
2025-07-25 12:02:51 +00:00 |
|
ClosedTermCache.lean
|
refactor: module-ize Lean (#9330)
|
2025-07-25 12:02:51 +00:00 |
|
CSimpAttr.lean
|
chore: remove redundant imports in core (#10750)
|
2025-10-16 20:27:46 +00:00 |
|
ExportAttr.lean
|
chore: rename Substring to Substring.Raw (#11154)
|
2025-11-16 09:30:04 +00:00 |
|
ExternAttr.lean
|
chore: rename String.ValidPos to String.Pos (#11240)
|
2025-11-24 16:40:21 +00:00 |
|
FFI.lean
|
refactor: use String.split instead of String.splitOn or String.splitToList (#11250)
|
2025-11-19 09:35:19 +00:00 |
|
ImplementedByAttr.lean
|
chore: remove redundant imports in core (#10750)
|
2025-10-16 20:27:46 +00:00 |
|
InitAttr.lean
|
fix: symbol clashes between packages (#11082)
|
2025-11-19 02:24:44 +00:00 |
|
InlineAttrs.lean
|
chore: even more module system fixes and refinements from Mathlib porting (#10726)
|
2025-10-15 14:59:09 +00:00 |
|
IR.lean
|
perf: disable reuse when a value's last use is an owned argument (#10017)
|
2025-08-21 00:41:56 +00:00 |
|
LCNF.lean
|
feat: zero cost BaseIO (#10625)
|
2025-10-22 10:55:12 +02:00 |
|
Main.lean
|
refactor: module-ize Lean (#9330)
|
2025-07-25 12:02:51 +00:00 |
|
MetaAttr.lean
|
chore: make declMetaExt persistent for shake (#11201)
|
2025-11-16 20:11:56 +00:00 |
|
ModPkgExt.lean
|
fix: symbol clashes between packages (#11082)
|
2025-11-19 02:24:44 +00:00 |
|
NameMangling.lean
|
chore: rename String.ValidPos to String.Pos (#11240)
|
2025-11-24 16:40:21 +00:00 |
|
NeverExtractAttr.lean
|
chore: remove redundant imports in core (#10750)
|
2025-10-16 20:27:46 +00:00 |
|
NoncomputableAttr.lean
|
refactor: module-ize Lean (#9330)
|
2025-07-25 12:02:51 +00:00 |
|
Old.lean
|
refactor: use String.Slice in String.take and variants (#11180)
|
2025-11-18 16:13:48 +00:00 |
|
Options.lean
|
chore: do not set unused Option.Decl.group (#11307)
|
2025-11-21 16:44:38 +00:00 |
|
Specialize.lean
|
chore: remove redundant imports in core (#10750)
|
2025-10-16 20:27:46 +00:00 |
57afb23c5c