primitive-recursive-peano. Unfinished implementation of a primitive recursive encoding of the theory of Peano arithmetic.

github.com/tildedave/primitive-recursive-peano
by @tildedave

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.