Brigitte Pientka, Andrew Cave
Inductive Beluga: Programming Proofs
CADE, 2015.
@inproceedings{CADE-2015-PientkaC, author = "Brigitte Pientka and Andrew Cave", booktitle = "{Proceedings of the 25th International Conference on Automated Deduction}", doi = "10.1007/978-3-319-21401-6_18", isbn = "978-3-319-21400-9", pages = "272--281", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Inductive Beluga: Programming Proofs}", volume = 9195, year = 2015, }