Coqoon: An IDE for interactive proof development in Coq
In: International Journal on Software Tools for Technology Transfer, Jg. 20 (2018-04-01), Heft 2, S. 125-137
Online
academicJournal
Zugriff:
Titel: |
Coqoon: An IDE for interactive proof development in Coq
|
---|---|
Autor/in / Beteiligte Person: | Faithfull, Alexander ; Bengtson, Jesper ; Tassi, Enrico ; Tankink, Carst |
Link: | |
Zeitschrift: | International Journal on Software Tools for Technology Transfer, Jg. 20 (2018-04-01), Heft 2, S. 125-137 |
Veröffentlichung: | 2018 |
Medientyp: | academicJournal |
ISSN: | 1433-2779 (print) ; 1433-2787 (print) |
DOI: | 10.1007/s10009-017-0457-2 |
Sonstiges: |
|