GitHub - abhro/peano-integers: Implementation of arithmetic on all integers (including negative numbers) using Peano's axioms

Name		Name	Last commit message	Last commit date
Latest commit History 35 Commits
.gitignore		.gitignore
Peano-Integers.pdf		Peano-Integers.pdf
Peano-Integers.tex		Peano-Integers.tex
Peano-Integers.typ		Peano-Integers.typ
PeanoInts.hs		PeanoInts.hs

About

Implementation of arithmetic on all integers (including negative numbers) using Peano's axioms

No releases published