setup travis to use mathcomp docker - Githubissues

math-comp / real-closed

Theorems for Real Closed Fields

13 stars 11 forks source link

setup travis to use mathcomp docker #8

Closed CohenCyril closed 5 years ago