- 08 Oct, 2021 3 commits
-
-
Christoph Rauch authored
-
Christoph Rauch authored
-
Sergey Goncharov authored
-
- 04 May, 2017 1 commit
-
-
Thorsten Wißmann authored
-
- 31 Jul, 2015 1 commit
-
-
sergey authored
git-svn-id: https://svn8.cs.fau.de/repos/lschrode/Code/Elgot/Coq@9255 7ad1c66c-f25a-0410-b778-c5cf505a9549
-
- 30 Jul, 2015 1 commit
-
-
julianjakob authored
git-svn-id: https://svn8.cs.fau.de/repos/lschrode/Code/Elgot/Coq@9251 7ad1c66c-f25a-0410-b778-c5cf505a9549
-
- 28 Jul, 2015 1 commit
-
-
julianjakob authored
git-svn-id: https://svn8.cs.fau.de/repos/lschrode/Code/Elgot/Coq@9236 7ad1c66c-f25a-0410-b778-c5cf505a9549
-
- 22 Jul, 2015 1 commit
-
-
julianjakob authored
git-svn-id: https://svn8.cs.fau.de/repos/lschrode/Code/Elgot/Coq@9203 7ad1c66c-f25a-0410-b778-c5cf505a9549
-
- 21 Jul, 2015 2 commits
-
-
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
-
- 08 Jul, 2015 1 commit
-
-
julianjakob authored
git-svn-id: https://svn8.cs.fau.de/repos/lschrode/Code/Elgot/Coq@9086 7ad1c66c-f25a-0410-b778-c5cf505a9549
-
- 01 Jul, 2015 1 commit
-
-
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
-
- 19 Jun, 2015 1 commit
-
-
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
-
- 08 Jun, 2015 2 commits
-
-
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
-
- 07 Jun, 2015 1 commit
-
-
sergey authored
git-svn-id: https://svn8.cs.fau.de/repos/lschrode/Code/Elgot/Coq@8837 7ad1c66c-f25a-0410-b778-c5cf505a9549
-
- 05 Jun, 2015 1 commit
-
-
julianjakob authored
git-svn-id: https://svn8.cs.fau.de/repos/lschrode/Code/Elgot/Coq@8822 7ad1c66c-f25a-0410-b778-c5cf505a9549
-
- 02 Jun, 2015 3 commits
-
-
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
-
- 27 May, 2015 1 commit
-
-
julianjakob authored
git-svn-id: https://svn8.cs.fau.de/repos/lschrode/Code/Elgot/Coq@8716 7ad1c66c-f25a-0410-b778-c5cf505a9549
-
- 24 May, 2015 1 commit
-
-
julianjakob authored
git-svn-id: https://svn8.cs.fau.de/repos/lschrode/Code/Elgot/Coq@8691 7ad1c66c-f25a-0410-b778-c5cf505a9549
-
- 21 May, 2015 3 commits
-
-
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
-
- 20 May, 2015 1 commit
-
-
julianjakob authored
git-svn-id: https://svn8.cs.fau.de/repos/lschrode/Code/Elgot/Coq@8648 7ad1c66c-f25a-0410-b778-c5cf505a9549
-
- 15 May, 2015 1 commit
-
-
julianjakob authored
git-svn-id: https://svn8.cs.fau.de/repos/lschrode/Code/Elgot/Coq@8611 7ad1c66c-f25a-0410-b778-c5cf505a9549
-
- 13 May, 2015 1 commit
-
-
sergey authored
git-svn-id: https://svn8.cs.fau.de/repos/lschrode/Code/Elgot/Coq@8594 7ad1c66c-f25a-0410-b778-c5cf505a9549
-
- 12 May, 2015 1 commit
-
-
julianjakob authored
git-svn-id: https://svn8.cs.fau.de/repos/lschrode/Code/Elgot/Coq@8589 7ad1c66c-f25a-0410-b778-c5cf505a9549
-
- 10 May, 2015 1 commit
-
-
julianjakob authored
git-svn-id: https://svn8.cs.fau.de/repos/lschrode/Code/Elgot/Coq@8539 7ad1c66c-f25a-0410-b778-c5cf505a9549
-
- 06 May, 2015 2 commits
-
-
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
-
- 05 May, 2015 4 commits
-
-
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
-
- 04 May, 2015 4 commits
-
-
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
-