|
|
Register | Login |
|
habr_ru | Dec 30 |
| CAP, Coq и Евклид http://habr.com/ru/articles/870936 #cap #coq | ||
|
|
habr_ru | Dec 30 |
| CAP-n-Coq. Часть 1. Определения CAP-теоремы http://habr.com/ru/articles/870864 #cap #coq | ||