name-the-biggest-number
Number comparison platform
A platform for submitting and comparing large numbers defined in the Coq specification system
63 stars
10 watching
6 forks
Language: Coq
last commit: over 2 years ago
Linked from 1 awesome list
Related projects:
| Repository | Description | Stars |
|---|---|---|
 coq-community/bignums | A Coq library providing support for arbitrarily large numbers | 22 |
 coq-concurrency/pluto | A Coq-based web server written in a functional programming language | 86 |
 langston-barrett/coq-big-o | Provides a formalization of Big O and related notations in Coq | 35 |
 benkoshy/numbercounter | A simple game where the user counts numbers to progress through levels | 0 |
 huynhtrankhanh/coqcp | Verifying competitive programming solutions to catch errors and improve rigor through formal mathematical proof | 22 |
| coq-community/hydra-battles | Investigating various aspects of discrete mathematics and formal proofs in Coq, including ordinal numbers and computability theory. | 69 |
 jtassarotti/coq-proba | A Coq-based probability theory library providing results and definitions for discrete probability, measure theory, and probabilistic choice monads. | 50 |
 danielberkompas/number | Provides functions to convert numbers into various formats | 225 |
 thery/coqprime | A proof assistant library for prime number certification using elliptic curves and Pocklington certificates | 37 |
 cronokirby/saferith | A constant-time arithmetic library designed to enhance cryptographic operations | 97 |
 dboulytchev/minikanren-coq | A certified semantics for relational programming language specification, providing verified implementations of syntax and semantics for miniKanren languages | 26 |
 cexbrayat/angular-cli-diff | Automates and compares changes between different versions of Angular CLI applications | 334 |
 ron4fun/bigintegercpp | A C++11 implementation of a large integer library for efficient and clean arithmetic operations on arbitrary-precision integers | 33 |
| coq-community/corn | A comprehensive formalization of mathematical structures and concepts for verified computation in Coq. | 111 |
 daidodo/huge-long-number | A C++14 implementation of a class to represent arbitrary range of signed integers | 11 |