projects / cubicaltt.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ee27e07) | patch
Add a test that of a simple example where Coq gets stuck but cubicaltt don't
authorAnders Mörtberg <andersmortberg@gmail.com>
Thu, 19 Nov 2015 05:09:00 +0000 (00:09 -0500)
committerAnders Mörtberg <andersmortberg@gmail.com>
Thu, 19 Nov 2015 05:09:00 +0000 (00:09 -0500)
commit5ce95ca985380c8bfba3edd75ad1d26b13667e15
tree986f4e37423075ba845eae2233922b999359ca0dtree | snapshot
parentee27e07d8a395b0caba82b8e29261da2dcfffbb2commit | diff
Add a test that of a simple example where Coq gets stuck but cubicaltt don't
examples/testempty.ctt [new file with mode: 0644] blob
My fork of cubicaltt with web interface using Reflex.