]> git.xn--bdkaa.com Git - cubicaltt-web.git/commit
projects / cubicaltt-web.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f4fbd68) | patch
(wip) construction of a C0-System from a universe category
authorRafaël Bocquet <rafael.bocquet@ens.fr>
Mon, 23 May 2016 13:55:06 +0000 (15:55 +0200)
committerRafaël Bocquet <rafael.bocquet@ens.fr>
Mon, 23 May 2016 13:55:06 +0000 (15:55 +0200)
commita6e8d9197b3164a4620b876c60f26a897f98f61e
tree02b3b05b8ca4f4d1f05f5fbb343ac88feaed9c4dtree | snapshot
parentf4fbd687fe7d43f19b28f1709c61d03df7872373commit | diff
(wip) construction of a C0-System from a universe category
examples/csystem.ctt [changed mode: 0755->0644] diff | blob | history
My fork of cubicaltt with web interface using Reflex.