peano-arithmetic

Here are 3 public repositories matching this topic...

macpanthor / peano-engine

a calculator that adds and subtracts with zero arithmetic operators, using nothing but array lengths and a lookup table.

javascript calculator vanilla-js html-css-javascript html-css-javascript-project joke-project peano-arithmetic no-operators

Updated Sep 16, 2026
CSS

julian1c2a / PeanoRF

Star

Aritmetica de Peano intuicionista (HA) sobre FOL= y Robinson Q++, en Lean 4 sin Mathlib. Espejo fundacional del proyecto Peano, con gate de pureza constructiva de tres ejes.

first-order-logic formal-verification intuitionistic-logic proof-theory constructive-mathematics lean4 peano-arithmetic heyting-arithmetic

Updated Sep 28, 2026
Lean

wsollers / lra-volume-ii

Star

Volume II of Learning Real Analysis: Peano systems and rigorous construction of N, Z, Q, R, and C.

latex number-systems peano-arithmetic learning-real-analysis formal-arithmetic foundations-of-analysis real-number-construction

Updated Sep 5, 2026
TeX

Add this topic to your repo

To associate your repository with the peano-arithmetic topic, visit your repo's landing page and select "manage topics."

Learn more