Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists by llee454
A curated list of projects in awesome lists by llee454 .
https://github.com/llee454/pigeons
A proof of the Pigeonhole principle. The Pigeonhole principle is a fundamental theorem that is used widely in Computer Science and Combinatorics, it asserts that if you put n things into m containers, and n > m, then at least one of the containers contains more than one thing.
coq coq-formalization mathematics pigeonhole proof theorem-proving theorems
Last synced: 23 Oct 2024
