Sitelet https://github.com/math-comp/analysis/tags
Skip to content

Tags: math-comp/analysis

Tags

1.18.0

Toggle 1.18.0's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
changelog for version 1.18.0 (#2099)

* changelog for version 1.18.0

1.17.0

Toggle 1.17.0's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
changelog for version 1.17.0 (#2072)

* changelog for version 1.17.0

1.16.0

Toggle 1.16.0's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
changelog for version 1.16.0 (#1904)

* changelog for version 1.16.0

1.15.0

Toggle 1.15.0's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
Merge pull request #1822 from affeldt-aist/changelog_1_15_0

Changelog for version 1.15.0

1.14.0

Toggle 1.14.0's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
enable mathcomp 2.5.0 (#1751)

1.13.0

Toggle 1.13.0's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
Changelog for version 1.13.0 (#1701)

* changelog for version 1.13.0

1.12.0

Toggle 1.12.0's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
changelog for version 1.12.0 (#1671)

* changelog for version 1.12.0

1.11.0

Toggle 1.11.0's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
Merge pull request #1610 from affeldt-aist/changelog1110

changelog for version 1.11.0

prob_lang_topml

Toggle prob_lang_topml's commit message
use gauss_integral to complete another example

1.10.0

Toggle 1.10.0's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
changelog for version 1.10.0 (#1581)

* changelog for version 1.10.0