Tags: math-comp/analysis
Toggle 1.18.0's commit message
changelog for version 1.18.0 (#2099 )
* changelog for version 1.18.0
Toggle 1.17.0's commit message
changelog for version 1.17.0 (#2072 )
* changelog for version 1.17.0
Toggle 1.16.0's commit message
changelog for version 1.16.0 (#1904 )
* changelog for version 1.16.0
Toggle 1.15.0's commit message
Merge pull request #1822 from affeldt-aist/changelog_1_15_0
Changelog for version 1.15.0
Toggle 1.14.0's commit message
enable mathcomp 2.5.0 (#1751 )
Toggle 1.13.0's commit message
Changelog for version 1.13.0 (#1701 )
* changelog for version 1.13.0
Toggle 1.12.0's commit message
changelog for version 1.12.0 (#1671 )
* changelog for version 1.12.0
Toggle 1.11.0's commit message
Merge pull request #1610 from affeldt-aist/changelog1110
changelog for version 1.11.0
Toggle prob_lang_topml's commit message
use gauss_integral to complete another example
Toggle 1.10.0's commit message
changelog for version 1.10.0 (#1581 )
* changelog for version 1.10.0
You can’t perform that action at this time.