Articles
Scalable LCF-style proof translation
iX-Magazin, April 2020 (Mario-Leander Reimer) View article