peano-numbers-My Code Helper

How to define induction on nat...

scala implicit dependent-type scala-2.13 peano-numbers

How can I add two numbers usin...

ocaml peano-numbers

Natural Number Game goals comp...

integer numbers multiplication lean peano-numbers

Why Peano numbers in OCaml not...

ocaml gadt peano-numbers

Prolog program to enumerate al...

prolog enumerable countable peano-numbers

Haskell: Exception: stack over...

list haskell stack-overflow peano-numbers

Tail recursive addition of Pea...

f#peano-numbers

Coq theorem proving: Simple fr...

coq theorem-proving peano-numbers

Injectivity of successor of na...

coq peano-numbers

Can't create sequence of I...

lambda kotlin sequence peano-numbers

How to test Peano numbers...

scala unit-testing peano-numbers

Peano numbers in Rust...

functional-programming rust peano-numbers

This Java program converts a n...

java recursion number-theory set-theory peano-numbers

Haskell Peano Numbers and Lazi...

haskell lazy-evaluation multiplication peano-numbers

Converting integers to peano n...

scala type-level-computation peano-numbers

Is there a convenient way to c...

haskell classy-prelude peano-numbers