Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Tags: ybertot/math-comp

Tags

ITP-submission-version

Toggle ITP-submission-version's commit message
Adding a treatment of complex numbers for the Lindemann-weierstrass t…

…heorem

Main modifications are in ssrnum, ssrint, and algC.  Others are mostly
consequences to make sure it still compiles.

Unknown

Toggle Unknown's commit message

Unverified

This commit is not signed, but one or more authors requires that any commit attributed to them is signed.
Merge pull request math-comp#119 from maximedenes/econstr

Econstr support

ITP-17-submission-version

Toggle ITP-17-submission-version's commit message

Unverified

This commit is not signed, but one or more authors requires that any commit attributed to them is signed.
Merge pull request math-comp#119 from maximedenes/econstr

Econstr support

mathcomp-1.6

Toggle mathcomp-1.6's commit message
release 1.6

mathcomp-1.6beta1

Toggle mathcomp-1.6beta1's commit message
This is a beta release for mathcomp 1.6