Prześlij oprogramowanie

Programy według coqtail.sf.net

  • Coqtail Wolna

    Coq Teoremy, Abstrakcje i Implementacje (bachelor Level) Coqtail jest biblioteka dowodów matematycznych za pomocą asystenta coq dowód.