GitHub repository: siddharthist/coq-big-o
Primary language: Coq
Created: 2017-02-16T06:24:59Z
Description: A flexible yet easy-to-use formalization of Big O, Big Theta, and more based on seminormed vector spaces.