%0 Journal Article %1 journals/sttt/FaithfullBTT18 %A Faithfull, Alexander John %A Bengtson, Jesper %A Tassi, Enrico %A Tankink, Carst %D 2018 %J Int. J. Softw. Tools Technol. Transf. %K dblp %N 2 %P 125-137 %T Coqoon - An IDE for interactive proof development in Coq. %U http://dblp.uni-trier.de/db/journals/sttt/sttt20.html#FaithfullBTT18 %V 20

@article{journals/sttt/FaithfullBTT18, added-at = {2020-04-02T00:00:00.000+0200}, author = {Faithfull, Alexander John and Bengtson, Jesper and Tassi, Enrico and Tankink, Carst}, biburl = {https://www.bibsonomy.org/bibtex/29e8324e7a796a9bf14dcf36ba624e0d3/dblp}, ee = {https://doi.org/10.1007/s10009-017-0457-2}, interhash = {3bd7a11271454a8f1b9a5d8284815dd0}, intrahash = {9e8324e7a796a9bf14dcf36ba624e0d3}, journal = {Int. J. Softw. Tools Technol. Transf.}, keywords = {dblp}, number = 2, pages = {125-137}, timestamp = {2020-04-03T11:55:09.000+0200}, title = {Coqoon - An IDE for interactive proof development in Coq.}, url = {http://dblp.uni-trier.de/db/journals/sttt/sttt20.html#FaithfullBTT18}, volume = 20, year = 2018 }