Zulip Chat Archive

Stream: mathlib4

Topic: align bool,option,list,nat

Johan Commelin (Jan 31 2023 at 18:39):

A bunch of basic types were not aligned. This will hopefully improve the quality of scripts/fix-comments.py:
https://github.com/leanprover-community/mathlib4/pull/1972

Johan Commelin (Feb 01 2023 at 10:08):

This one aligns fin and set. That should fix a bunch of comments:
https://github.com/leanprover-community/mathlib4/pull/1984

Last updated: Dec 20 2023 at 11:08 UTC