Artificial Intelligence and Domain-Specific Languages for Interactive Theorem Proving

Yutaka Nagashima
PhD thesis, University of Innsbruck 2021.

 pdf  doi:10.1016/j.jlamp.2021.100699

Copyright: the author

BibTex

@phdthesis{YN18,
author = "Yutaka Nagashima",
title = "Artificial Intelligence andDomain-Specific Languages
for Interactive Theorem Proving",
school = "University of Innsbruck",
year = 2021
}