%0 Journal Article %1 noauthororeditor %A Anand, Abhishek %A Knepper, Ross %D 2015 %K computable_analysis coq %T ROSCoq: Robots powered by constructive reals

@article{noauthororeditor, added-at = {2015-07-07T16:43:21.000+0200}, author = {Anand, Abhishek and Knepper, Ross}, biburl = {https://www.bibsonomy.org/bibtex/2e7a7ee5b1da2138bc2e4af829d501624/kappasuslin}, interhash = {1e551c8f3f22eeb1df24eb73c7cae426}, intrahash = {e7a7ee5b1da2138bc2e4af829d501624}, keywords = {computable_analysis coq}, timestamp = {2015-07-07T16:43:21.000+0200}, title = {ROSCoq: Robots powered by constructive reals}, year = 2015 }