Skip to content

README.md

Latest commit

 

History

History
5 lines (4 loc) · 488 Bytes

README.md

File metadata and controls

5 lines (4 loc) · 488 Bytes
Raw

This fork of Lean 4 provides the following modifications on top of the upstream releases/v4.32.0 branch:

  • Minimize and adapt CI to my (very manual) workflow
  • Rebase Robin Arnez's parser tracing PR lean4#13792 and update stage0
  • Add FlattenBehavior to MessageData.group, just as Format.group has