shinbatsu/Peano-Church

Peano-Church Numerals

语言：Haskell · GitHub 星标：13 · Fork：0

话题：church-numerals · lemma · peano-numerals · proof

在 GitHub 上查看原仓库