]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cc178d8) | patch
update in lib
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Sat, 8 Jan 2022 21:24:10 +0000 (22:24 +0100)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Sat, 8 Jan 2022 21:24:10 +0000 (22:24 +0100)
commite8571cfbc30a3da656cff0c0e0f0ee747e8c4cdd
tree830b410239aacea51a3ae28d00b44e05009ce142tree | snapshot
parentcc178d85bc4fec05b6a9dd176f338b3275beb3d9commit | diff
update in lib

+ notation for card decentralized
matita/matita/lib/basics/core_notation.ma diff | blob | history
matita/matita/lib/basics/core_notation/card_1.ma [new file with mode: 0644] blob
matita/matita/lib/basics/lists/list.ma diff | blob | history
matita/matita/lib/hott/notations.ma diff | blob | history
matita/matita/lib/lambda/paths/decomposed_trace.ma diff | blob | history
matita/matita/lib/lambda/terms/size.ma diff | blob | history
matita/matita/lib/re/re.ma diff | blob | history
matita/matita/lib/reverse_complexity/hierarchy.ma diff | blob | history
matita/matita/lib/tutorial/chapter5.ma diff | blob | history
matita/matita/lib/tutorial/chapter8.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.