Coq Fornisce un linguaggio formale per scrivere definizioni matematiche
Scarica ora

Coq Classifica e riepilogo

Coq Tag

prova aritmetica Biblioteca aritmetica Teorema

Coq Descrizione

Coq è un sistema di gestione delle prove formali. Fornisce un linguaggio formale per scrivere definizioni matematiche, algoritmi eseguibili e teoremi insieme a un ambiente per lo sviluppo semi-interattivo delle prove controllate dalla macchina. Le applicazioni tipiche includono la formalizzazione della semantica delle lingue di programmazione, la formalizzazione della matematica e dell'insegnamento. Condividi la tua esperienza: Scrivi una recensione su questo programma

Coq Software correlato