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.

An implementation of natural numbers and basic arithmetic in Haskell

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.

A theory describing recurring patterns at different scales through rotation operators

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.

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

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

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

Proof that if 0 = 1 then all naturals are the same number. All definitions of naturals and equality, even their properties are entirely made directly. No external or library definition was used.

Convert any number to a readable string

Extended numbers library.