]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 913070a) | patch
WIP in delayed_updating
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 28 Mar 2022 23:11:32 +0000 (01:11 +0200)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 28 Mar 2022 23:11:32 +0000 (01:11 +0200)
commitaeec9312d6f72526a460518a1e889eac71657cdd
tree3dde2a91c72c7c5feeea9052f14c273e49c12709tree | snapshot
parent913070a2e9de2867b57e565c46800437a1c36104commit | diff
WIP in delayed_updating

+ we re focusing on a special case of the main theorem
matita/matita/contribs/lambdadelta/delayed_updating/reduction/dfr.ma diff | blob | history
matita/matita/contribs/lambdadelta/delayed_updating/reduction/dfr_ifr.ma diff | blob | history
matita/matita/contribs/lambdadelta/delayed_updating/reduction/ifr.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.