Coqtail

Licentie: Gratis ‎Bestandsgrootte: N/A
‎Gebruikersbeoordeling: 4.0/5 - ‎2 ‎Stemmen

Over Coqtail

COQ Theoremen, Abstracties and Implementations (bachelor Level) Coqtail is een bibliotheek van wiskundige proefs met behulp van de Coq proof assistant.