GitHub repository: math-comp/bigenough
Primary language: Coq
Created: 2018-08-08T14:18:23Z
Description: Asymptotic reasoning with bigenough