natural-numbers

arbitrary precision arithmetic library

Solutions to Imperial College London's Natural Number Game, a gamified formal mathematics course on the Peano axioms using an interactive + automated theorem prover developed by Microsoft Research called Lean.

The natural numbers, ℕ = { 0, 1, 2, ... }.

inductive is a Python library that defines inductive data structures such as Peano numbers and linked lists.

Check if a value is natural number

Logic Programming using Prolog.

This repo contains solutions to Project Euler problems.

Personal solutions to "Real Analysis: Foundations" by Sergei Ovchinnikov

The list of theorems of set theory, some of which accompanied by proofs written by myself using LaTeX.

Formalization of set theory concepts in C programming language.

Sized Natural is an alternatve representation for bit strings, using native BigInt as Natural. It is useful to store and interchange hashes, labels and hierarchical indexes.

A theory describing recurring patterns at different scales through rotation operators

Popular Science & Logic

Разбивает натуральное число на простые множители

C++ program to calculate sum of natural numbers using loop. Demo =>

An implementation of natural numbers and basic arithmetic in Haskell

Lean 4/mathlib proofs from minimal change: Gaussian source, natural-number arithmetic with expression histories, unique factorization, gauge and matter structures, generated Yang-Mills action and attained spectral gap. Machine-checked mathematics with explicit theorem-to-paper maps.

Library for big & extended numbers in C++.