All pull requests

Pull requests

• Disambiguate the open PreSail in Sail.lean

  #14·dtumad opened Sep 21, 2026·

  ·

• Migrate the library to Lean's module system

  #13·dtumad opened Sep 20, 2026·

  ·

• Add eq_anything and improve IntRange step_pos for variable steps

  #6·quangvdao opened Apr 8, 2026·1 task done·

  ·

• Add Inhabited and BEq instances for Sigma types

  #5·nek0las opened Mar 25, 2026·

  ·