Coq

CAP-n-Coq. Часть 1. Определения CAP-теоремы - введение доказательства CAP через Coq
CAP, Coq и Евклид - простейшие теоремы на Coq