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, ... }.

Check if a value is natural number

Logic Programming using Prolog.

This repo contains solutions to Project Euler problems.

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

An implementation of natural numbers and basic arithmetic in Haskell

Formalization of set theory concepts in C programming language.

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

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

The program is supposed to be the sum of all natural numbers under 1000, which are also divisible by 3 or 5

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.

Induction, recursion, and the natural numbers

Inefficient natural numbers

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.

Extended numbers library.