GitPlanet
Projects
Users
Categories
Languages
About
All Categories
→
No Category
→ big-o
Top 1 big-o open source projects
coq-big-o
A general yet easy-to-use formalization of Big O, Big Theta, and more based on seminormed vector spaces.
✭ 31
Coq
Nix
coq
mathematics
complexity
big-o
1-1
of
1
big-o projects