diff --git a/pages/consortium.html b/pages/consortium.html index 14b1f3a86e..b45a53edd7 100644 --- a/pages/consortium.html +++ b/pages/consortium.html @@ -63,116 +63,6 @@ -
Partners can subscribe a package of support services: -
Partners declare a number of intensive users of Coq they represent, and the Consortium recommends a corresponding level of - service (a number of engineer hours, which can be used for support or training). The cost corresponds to that specific level of service.
-Academic partners are eligible to a 50% discount.
-Users | Engineer hours | 1 year | 2 years | 3 years |
- 5-7 - | -- 4h/user/year - | -- € 2000/user - | -- € 3600/user - | -- € 4800/user - | -
- 8-12 - | -- 32h/year - | -- € 16000 - | -- € 28800 - | -- € 38400 - | -
- 13-14 - | -- 36h/year - | -- € 18000 - | -- € 32400 - | -- € 43200 - | -
- 15-20 - | -- 40h/year - | -- € 20000 - | -- € 36000 - | -- € 48000 - | -
- 21+ - | -- 50h/year - | -- € 25000 - | -- € 45000 - | -- € 60000 - | -