Repository navigation
Lean 4.11 support
Pre-release
Pre-release
This minor release doesn't do much. It just updates the lake toolchain file to now use Lean 4.11, and it adds for-loop support, where elements are returned in ascending order.