peano-numbers

6 Questions
Newest Active Unanswered Frequent
Score
View
Card Compact
Natural Number Game goals completed with error (invalid begin-end expression, comma expected)
user_115245270
•
1
1
31
peano-numbers lean multiplication numbers integer
Why Peano numbers in OCaml not working due to scope error?
user_2316640
•
3
1
63
peano-numbers gadt ocaml
Prolog program to enumerate all possible solution over a countable set
user_177643600
•
2
1
83
countable peano-numbers prolog enumerable
Tail recursive addition of Peano numbers in F# using accumulators
user_140385710
•
2
2
105
peano-numbers f#
Pure Prolog Peano Number Apartness
Admin1
•
3
2
145
logical-purity peano-numbers prolog
Injectivity of successor of natural numbers in Coq
user_33573520
•
5
1
552
peano-numbers coq
  • 1
Hot Questions