We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
update to lean-v4.14.0
update mathlib to v4.12.0 tag
update lean to v4.10.0
address warnings
update to lean v4.8.0
lean v4.7.0 release
update mathlib to v4.6.0