]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: df7a2aa) | patch
arithmetics for λδ
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 22 Dec 2020 17:22:19 +0000 (18:22 +0100)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 22 Dec 2020 17:22:19 +0000 (18:22 +0100)
commit74c6905907b0bca229366d52450e2a6982b5b8be
treed087829a909b3ee6f28f89d34bbb4e83cb9c8e91tree | snapshot
parentdf7a2aa19e98dc28e7f22129275a175cead49e2dcommit | diff
arithmetics for λδ

+ predecessor for non-negative integers
+ web site update
12 files changed:
matita/matita/contribs/lambdadelta/ground/arith/nat.txt diff | blob | history
matita/matita/contribs/lambdadelta/ground/arith/nat_iter_succ.ma [deleted file] blob | history
matita/matita/contribs/lambdadelta/ground/arith/nat_le_pred.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/ground/arith/nat_lt.ma diff | blob | history
matita/matita/contribs/lambdadelta/ground/arith/nat_lt_plus.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/ground/arith/nat_lt_pred.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/ground/arith/nat_plus.ma diff | blob | history
matita/matita/contribs/lambdadelta/ground/arith/nat_pred.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/ground/arith/nat_pred_succ.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/ground/arith/nat_succ_iter.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/ground/arith/pnat_dis.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/ground/web/ground_src.tbl diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.