coq-big-o
A general yet easy-to-use formalization of Big O, Big Theta, and more based on seminormed vector spaces.
34 stars
2 watching
1 forks
Language: Coq
last commit: over 7 years ago big-ocomplexitycoqmathematics
coq-big-o A general yet easy-to-use formalization of Big O, Big Theta, and more based on seminormed vector spaces.