TY -
GEN
AU - Ziliani, Beta
AU - Dreyer, Derek
TI -
Interactive typed tactic programming in the Coq proof assistant ; Interaktives Programmieren von getypten Taktiken im Beweisassistenten Coq
KW - tactics
KW - Typ
KW - interactive proof assistant
KW - Coq
KW - types
KW - Interaktives Beweissystem
KW - Taktik
PY - 2015
N2 - Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
UR - https://katalog.slub-dresden.de/en/?cHash=0bb8bd27a7fbde41cd02875a74ca0f3d&tx_find_find%5Baction%5D=citation&tx_find_find%5Bcontroller%5D=Search&tx_find_find%5Bid%5D=126-ZnRzY2lkb2s6b2FpOnB1Ymxpa2F0aW9uZW4uc3VsYi51bmktc2FhcmxhbmQuZGU6MjAuNTAwLjExODgwLzI2NjU0&tx_find_find%5Btype%5D=ris
ER -