Skip to content

v3.6.0

Compare
Choose a tag to compare
@leanprover-mathlib-bot leanprover-mathlib-bot released this 26 Feb 20:51
chore(*): release version 3.6.0