Coqtail

Licencji: Wolna ‎Rozmiar pliku: N/A
‎Ocena użytkowników: 4.0/5 - ‎2 ‎Głosów

O Coqtail

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