Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

https://github.com/gkerfimf/coq-o

Properties of big-O notation proven in Coq
https://github.com/gkerfimf/coq-o

big-o big-o-notation coq

Last synced: 9 days ago
JSON representation

Properties of big-O notation proven in Coq

Host: GitHub
URL: https://github.com/gkerfimf/coq-o
Owner: GKerfImf
Created: 2023-10-25T11:03:06.000Z (about 1 year ago)
Default Branch: main
Last Pushed: 2023-11-01T21:43:10.000Z (about 1 year ago)
Last Synced: 2024-10-10T21:40:59.540Z (about 1 month ago)
Topics: big-o, big-o-notation, coq
Language: Coq
Homepage:
Size: 8.79 KB
Stars: 0
Watchers: 1
Forks: 0
Open Issues: 0
Metadata Files:
- Readme: README.md

Awesome Lists containing this project

README

        # Coq O

This repository contains a few facts about [Big O](https://en.wikipedia.org/wiki/Big_O_notation) notation proven using the [Coq proof assistant](https://coq.inria.fr/).