projects / cubicaltt.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5160fdd) | patch
if A and B are isomorphic, prop A -> prop B, normal form
authorcoquand <coquand@chalmers.se>
Sun, 19 Apr 2015 13:47:19 +0000 (15:47 +0200)
committercoquand <coquand@chalmers.se>
Sun, 19 Apr 2015 13:47:19 +0000 (15:47 +0200)
commited5b619dd908d4188c5c58c6b3aba5d0e78e41b7
treed01f156d56952c4b6ae760a7dbeb3ecc71310ebbtree | snapshot
parent5160fdd739a6ee0b6cf56f3ec6b44c89b0e8d99fcommit | diff
if A and B are isomorphic, prop A -> prop B, normal form
examples/prop.ctt [new file with mode: 0644] blob
My fork of cubicaltt with web interface using Reflex.