- Oct 08, 2021
-
-
Christoph Rauch authored
-
Christoph Rauch authored
-
Sergey Goncharov authored
-
- May 04, 2017
-
-
Thorsten Wißmann authored
-
- Jul 31, 2015
-
-
sergey authored
git-svn-id: https://svn8.cs.fau.de/repos/lschrode/Code/Elgot/Coq@9255 7ad1c66c-f25a-0410-b778-c5cf505a9549
-
- Jul 30, 2015
-
-
julianjakob authored
git-svn-id: https://svn8.cs.fau.de/repos/lschrode/Code/Elgot/Coq@9251 7ad1c66c-f25a-0410-b778-c5cf505a9549
-
- Jul 28, 2015
-
-
julianjakob authored
git-svn-id: https://svn8.cs.fau.de/repos/lschrode/Code/Elgot/Coq@9236 7ad1c66c-f25a-0410-b778-c5cf505a9549
-
- Jul 22, 2015
-
-
julianjakob authored
git-svn-id: https://svn8.cs.fau.de/repos/lschrode/Code/Elgot/Coq@9203 7ad1c66c-f25a-0410-b778-c5cf505a9549
-
- Jul 21, 2015
-
-
julianjakob authored
git-svn-id: https://svn8.cs.fau.de/repos/lschrode/Code/Elgot/Coq@9201 7ad1c66c-f25a-0410-b778-c5cf505a9549
-
julianjakob authored
changed basic definition of products and coproducts; almost finished proof of lemma 4.9 (iterofzeta); added some new lemmas in Lemmas_biCCC, Lemmas_ElgotMonad, coEM_instance_proof git-svn-id: https://svn8.cs.fau.de/repos/lschrode/Code/Elgot/Coq@9200 7ad1c66c-f25a-0410-b778-c5cf505a9549
-
- Jul 08, 2015
-
-
julianjakob authored
git-svn-id: https://svn8.cs.fau.de/repos/lschrode/Code/Elgot/Coq@9086 7ad1c66c-f25a-0410-b778-c5cf505a9549
-
- Jul 01, 2015
-
-
julianjakob authored
small optimizations to proof code and type class definitions; changed pr1/2 to fst/snd to match paper; small fixes git-svn-id: https://svn8.cs.fau.de/repos/lschrode/Code/Elgot/Coq@9026 7ad1c66c-f25a-0410-b778-c5cf505a9549
-
- Jun 19, 2015
-
-
julianjakob authored
removed unnecessary statements and lemmas; some corrections; made some names more intuitive; some progress to proofs in iterofzeta_intermediate git-svn-id: https://svn8.cs.fau.de/repos/lschrode/Code/Elgot/Coq@8940 7ad1c66c-f25a-0410-b778-c5cf505a9549
-
- Jun 08, 2015
-
-
julianjakob authored
git-svn-id: https://svn8.cs.fau.de/repos/lschrode/Code/Elgot/Coq@8850 7ad1c66c-f25a-0410-b778-c5cf505a9549
-
julianjakob authored
git-svn-id: https://svn8.cs.fau.de/repos/lschrode/Code/Elgot/Coq@8849 7ad1c66c-f25a-0410-b778-c5cf505a9549
-
- Jun 07, 2015
-
-
sergey authored
git-svn-id: https://svn8.cs.fau.de/repos/lschrode/Code/Elgot/Coq@8837 7ad1c66c-f25a-0410-b778-c5cf505a9549
-
- Jun 05, 2015
-
-
julianjakob authored
git-svn-id: https://svn8.cs.fau.de/repos/lschrode/Code/Elgot/Coq@8822 7ad1c66c-f25a-0410-b778-c5cf505a9549
-
- Jun 02, 2015
-
-
julianjakob authored
git-svn-id: https://svn8.cs.fau.de/repos/lschrode/Code/Elgot/Coq@8805 7ad1c66c-f25a-0410-b778-c5cf505a9549
-
julianjakob authored
git-svn-id: https://svn8.cs.fau.de/repos/lschrode/Code/Elgot/Coq@8803 7ad1c66c-f25a-0410-b778-c5cf505a9549
-
julianjakob authored
git-svn-id: https://svn8.cs.fau.de/repos/lschrode/Code/Elgot/Coq@8800 7ad1c66c-f25a-0410-b778-c5cf505a9549
-
- May 27, 2015
-
-
julianjakob authored
git-svn-id: https://svn8.cs.fau.de/repos/lschrode/Code/Elgot/Coq@8716 7ad1c66c-f25a-0410-b778-c5cf505a9549
-
- May 24, 2015
-
-
julianjakob authored
git-svn-id: https://svn8.cs.fau.de/repos/lschrode/Code/Elgot/Coq@8691 7ad1c66c-f25a-0410-b778-c5cf505a9549
-
- May 21, 2015
-
-
sergey authored
git-svn-id: https://svn8.cs.fau.de/repos/lschrode/Code/Elgot/Coq@8674 7ad1c66c-f25a-0410-b778-c5cf505a9549
-
julianjakob authored
git-svn-id: https://svn8.cs.fau.de/repos/lschrode/Code/Elgot/Coq@8672 7ad1c66c-f25a-0410-b778-c5cf505a9549
-
sergey authored
git-svn-id: https://svn8.cs.fau.de/repos/lschrode/Code/Elgot/Coq@8660 7ad1c66c-f25a-0410-b778-c5cf505a9549
-
- May 20, 2015
-
-
julianjakob authored
git-svn-id: https://svn8.cs.fau.de/repos/lschrode/Code/Elgot/Coq@8648 7ad1c66c-f25a-0410-b778-c5cf505a9549
-
- May 15, 2015
-
-
julianjakob authored
git-svn-id: https://svn8.cs.fau.de/repos/lschrode/Code/Elgot/Coq@8611 7ad1c66c-f25a-0410-b778-c5cf505a9549
-
- May 13, 2015
-
-
sergey authored
git-svn-id: https://svn8.cs.fau.de/repos/lschrode/Code/Elgot/Coq@8594 7ad1c66c-f25a-0410-b778-c5cf505a9549
-
- May 12, 2015
-
-
julianjakob authored
git-svn-id: https://svn8.cs.fau.de/repos/lschrode/Code/Elgot/Coq@8589 7ad1c66c-f25a-0410-b778-c5cf505a9549
-
- May 10, 2015
-
-
julianjakob authored
git-svn-id: https://svn8.cs.fau.de/repos/lschrode/Code/Elgot/Coq@8539 7ad1c66c-f25a-0410-b778-c5cf505a9549
-
- May 06, 2015
-
-
sergey authored
git-svn-id: https://svn8.cs.fau.de/repos/lschrode/Code/Elgot/Coq@8456 7ad1c66c-f25a-0410-b778-c5cf505a9549
-
julianjakob authored
git-svn-id: https://svn8.cs.fau.de/repos/lschrode/Code/Elgot/Coq@8455 7ad1c66c-f25a-0410-b778-c5cf505a9549
-
- May 05, 2015
-
-
julianjakob authored
git-svn-id: https://svn8.cs.fau.de/repos/lschrode/Code/Elgot/Coq@8451 7ad1c66c-f25a-0410-b778-c5cf505a9549
-
julianjakob authored
git-svn-id: https://svn8.cs.fau.de/repos/lschrode/Code/Elgot/Coq@8448 7ad1c66c-f25a-0410-b778-c5cf505a9549
-
julianjakob authored
git-svn-id: https://svn8.cs.fau.de/repos/lschrode/Code/Elgot/Coq@8441 7ad1c66c-f25a-0410-b778-c5cf505a9549
-
julianjakob authored
git-svn-id: https://svn8.cs.fau.de/repos/lschrode/Code/Elgot/Coq@8440 7ad1c66c-f25a-0410-b778-c5cf505a9549
-
- May 04, 2015
-
-
julianjakob authored
git-svn-id: https://svn8.cs.fau.de/repos/lschrode/Code/Elgot/Coq@8435 7ad1c66c-f25a-0410-b778-c5cf505a9549
-
sergey authored
git-svn-id: https://svn8.cs.fau.de/repos/lschrode/Code/Elgot/Coq@8434 7ad1c66c-f25a-0410-b778-c5cf505a9549
-
sergey authored
git-svn-id: https://svn8.cs.fau.de/repos/lschrode/Code/Elgot/Coq@8433 7ad1c66c-f25a-0410-b778-c5cf505a9549
-
sergey authored
git-svn-id: https://svn8.cs.fau.de/repos/lschrode/Code/Elgot/Coq@8419 7ad1c66c-f25a-0410-b778-c5cf505a9549
-