Sebastian Ullrich eeca0ce96b perf: Environment blocker removals from async-proofs branch (#7483)		2025-03-14 13:37:01 +00:00
..
Attributes.lean	feat: add pp.fieldNotation.generalized for generalized field notation, add @[pp_nodot] attribute (#3737)	2024-03-22 08:55:02 +00:00
Basic.lean	doc: explain app_delab (#6450)	2024-12-29 15:06:55 +00:00
Builtins.lean	perf: Environment blocker removals from async-proofs branch (#7483)	2025-03-14 13:37:01 +00:00
FieldNotation.lean	chore: avoid runtime array bounds checks (#6134)	2024-11-21 05:04:52 +00:00
Options.lean	feat: labeled and unique sorries (#5757)	2024-12-11 23:53:02 +00:00
SubExpr.lean	feat: accurate binder names in signatures (like in output of #check) (#5827)	2024-10-29 16:43:11 +00:00
TopDownAnalyze.lean	feat: align take/drop/extract across List/Array/Vector (#6860)	2025-01-30 01:24:25 +00:00