|
|||||
|
|
Coqoon |
|
| Authors: | Faithfull Alexander Bengtson Jesper Tassi Enrico Tankink Carst |
| Affiliation: | 1.IT University of Copenhagen, Copenhagen, Denmark ;2.Inria Sophia Antipolis - Méditerranée, Alpes-Maritimes, France ;3.Université Côte d’Azur, Alpes-Maritimes, France ;4.Inria Saclay-Île-de-France, Palaiseau, France ; |
| Abstract: | International Journal on Software Tools for Technology Transfer - User interfaces for interactive proof assistants have always lagged behind those for mainstream programming languages. Whereas... |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ | |