Iskalni niz:
išči po
išči po
išči po
išči po
Vrsta gradiva:
Jezik:
Št. zadetkov: 1
Computer Verified Exact Analysis
Bas Spitters , Russell O'Connor
Video in druga učna gradiva
Oznake: computer science;logic
This tutorial will illustrate how to use the Coq proof assistant to implement effective and provably correct computation for analysis. Coq provides a dependently typed functional programming language that allows users to specify both programs and formal proofs. We will introduce dependent type theo ...
Leto: 2009 Vir: videolectures.net
Št. zadetkov: 1
Ključne besede:
Leto izdaje:
Repozitorij:
Tipologija:
Jezik: