GitHub topics: natural-numbers

Repositories

rao107/real-analysis-ovchinnikov

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

Size: 29.3 KB - Last synced at: 21 days ago - Pushed at: 21 days ago - Stars: 0 - Forks: 0

RobinHoltland01/real-analysis-ovchinnikov

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

Size: 1000 Bytes - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 0

qexat/inductive

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

Language: Python - Size: 242 KB - Last synced at: 8 days ago - Pushed at: about 2 months ago - Stars: 7 - Forks: 0

leo-leesco/Computational-logic-TD1

Typing a simple programming language

Language: OCaml - Size: 6.84 KB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 0 - Forks: 0

rahul1947/Logic-Programming

Logic Programming using Prolog.

Language: Prolog - Size: 24.8 MB - Last synced at: 6 days ago - Pushed at: over 6 years ago - Stars: 5 - Forks: 4

dwayne/elm-natural

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

Language: Elm - Size: 190 KB - Last synced at: 20 days ago - Pushed at: 9 months ago - Stars: 9 - Forks: 0

adyavanapalli/natural-number-game-solutions

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.

Size: 23.4 KB - Last synced at: 9 months ago - Pushed at: over 3 years ago - Stars: 13 - Forks: 7

js4484821266/ZZQQCC

Extended numbers library.

Language: C++ - Size: 162 KB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

lacrosse/natural_number_game

Language: Lean - Size: 37.1 KB - Last synced at: almost 2 years ago - Pushed at: about 4 years ago - Stars: 2 - Forks: 0

suiginsoft/hebimath

arbitrary precision arithmetic library

Language: C - Size: 487 KB - Last synced at: about 2 years ago - Pushed at: over 6 years ago - Stars: 39 - Forks: 3

shinnn/is-natural-number.js

Check if a value is natural number

Language: JavaScript - Size: 18.6 KB - Last synced at: 18 days ago - Pushed at: about 8 years ago - Stars: 6 - Forks: 1

PromathBul/Prime_factors

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

Language: Python - Size: 4.88 KB - Last synced at: about 1 month ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

AnuragAnalog/project_euler

This repo contains solutions to Project Euler problems.

Language: Python - Size: 192 KB - Last synced at: 18 days ago - Pushed at: over 3 years ago - Stars: 4 - Forks: 10

mayconamaro/natural-explosion

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.

Language: Agda - Size: 9.77 KB - Last synced at: about 2 years ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 1

anfauglit/cMath

Formalization of set theory concepts in C programming language.

Language: TeX - Size: 1000 Bytes - Last synced at: about 2 years ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0

anfauglit/proofs

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

Language: TeX - Size: 2.93 KB - Last synced at: about 2 years ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0

ppKrauss/SizedBigInt

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.

Language: JavaScript - Size: 1.26 MB - Last synced at: about 1 month ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0