name-the-biggest-number
by codyroux
AI summary
Number comparison platform
A platform for submitting and comparing large numbers defined in the Coq specification system
- stars
- 63
- forks
- 6
- watching
- 10
- awesome list
- 1
Similar projects
Found by comparing what the projects do, not just their names.
Number library
A Coq library providing support for arbitrarily large numbers
Web server
A Coq-based web server written in a functional programming language
Big Complexity Notation
Provides a formalization of Big O and related notations in Coq
Number counter game
A simple game where the user counts numbers to progress through levels
Code verification project
Verifying competitive programming solutions to catch errors and improve rigor through formal mathematical proof
Math investigations
Investigating various aspects of discrete mathematics and formal proofs in Coq, including ordinal numbers and computability theory.
Probability library
A Coq-based probability theory library providing results and definitions for discrete probability, measure theory, and probabilistic choice monads.
Number formatter
Provides functions to convert numbers into various formats
Prime number verifier
A proof assistant library for prime number certification using elliptic curves and Pocklington certificates
Arithmetic library
A constant-time arithmetic library designed to enhance cryptographic operations
Relational programming semantics
A certified semantics for relational programming language specification, providing verified implementations of syntax and semantics for miniKanren languages
Version comparator
Automates and compares changes between different versions of Angular CLI applications
Large Integer Library
A C++11 implementation of a large integer library for efficient and clean arithmetic operations on arbitrary-precision integers
Math library
A comprehensive formalization of mathematical structures and concepts for verified computation in Coq.
Integer library
A C++14 implementation of a class to represent arbitrary range of signed integers
Featured in 1 awesome list
Each link jumps to the spot where the list mentions name-the-biggest-number.