Coq Het biedt een formele taal om wiskundige definities te schrijven.
Download nu

Coq Rangschikking & Samenvatting

Coq Tags

bewijs rekenkundig rekenkundige bibliotheek Stelling

Coq Beschrijving

CoQ is een formeel beheersysteem. Het biedt een formele taal om wiskundige definities, uitvoerbare algoritmen en theorieën te schrijven samen met een omgeving voor semi-interactieve ontwikkeling van machine-gecontroleerde bewijzen. Typische toepassingen omvatten de formalisering van semantiek van programmeertalen, de formalisering van wiskunde en lesgeven. Deel uw ervaring: Schrijf een beoordeling over dit programma

Coq Gerelateerde software