Project

General

Profile

Statistics
| Branch: | Revision:

dnegmod @ master

Name Size Revision Age Author Comment
  External b8226744 over 1 year Miriam Polzer added reference for IPC
  presentation e7d3a2cf 8 months Ulrich fixed the coq8.6 issue
  unused 78a8fbfc about 1 year Miriam Polzer merge presentation parts
.gitignore 29 Bytes 2dfa8d25 about 1 year Ulrich work in progrss
DNTrans.v 25.4 KB 28d67815 8 months Tadeusz Litak edits to fix terminology etc
HilbertStyleEquivalence.v 4.85 KB 49d32b31 8 months Tadeusz Litak corrected wrong name
IntModalSetup.v 4.37 KB 3d92ffa5 over 1 year Miriam Polzer spellchecked everyhting
KIbox_NaturalDeduction.v 6.08 KB 28fe2386 8 months Ulrich fixed the broken bottom rule
KIbox_Rules.v 22.8 KB 28fe2386 8 months Ulrich fixed the broken bottom rule
Makefile 8.97 KB 1d874525 8 months Ulrich finished the box case
README 423 Bytes bae47ff0 over 1 year Miriam Polzer renamed IMTautologies, changed order and delete...
Summary.v 5.18 KB 2461b12a 8 months Tadeusz Litak and a wrong reference name
_CoqProject 144 Bytes 1d874525 8 months Ulrich finished the box case
alcop2016slides_corrected.pdf 381 KB d0527eb7 over 1 year Tadeusz Litak corrected corrected slides
alcop2016slides_corrected_extended.pdf 384 KB a24442de over 1 year Tadeusz Litak added a version of the slides with a sketch of ...
dnegfscd2017.pdf 596 KB 8d16de0f 8 months Tadeusz Litak added corrected version of the conference contr...

Latest revisions

# Date Author Comment
8d16de0f 04/20/2017 03:45 AM Tadeusz Litak

added corrected version of the conference contribution

2461b12a 04/20/2017 03:35 AM Tadeusz Litak

and a wrong reference name

49d32b31 04/20/2017 03:32 AM Tadeusz Litak

corrected wrong name

5d1a6118 04/13/2017 10:46 AM Ulrich

Merge branch 'master' of cal8.cs.fau.de:dnegmod

1d874525 04/13/2017 10:46 AM Ulrich

finished the box case

947405a1 04/13/2017 03:48 AM Tadeusz Litak

Merge branch 'master' of cal8.cs.fau.de:dnegmod

28d67815 04/13/2017 03:48 AM Tadeusz Litak

edits to fix terminology etc

23a593fd 04/12/2017 12:55 PM Ulrich

only box case left

3b68d0f6 04/11/2017 11:27 PM Ulrich

started with hilbert style equality

28fe2386 04/11/2017 10:00 PM Ulrich

fixed the broken bottom rule

View all revisions | View revisions

Also available in: Atom