We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
Merge master into nightly-testing
chore: bump toolchain to v4.11.0 (leanprover-community#16396)
Merge branch 'bump/nightly-2024-08-31' into nightly-testing
cleanup
update emojis
fix
fixes
shake
adaptation note in TaylorSeries