Functional Algorithms, Verified!

Tobias Nipkow, Jasmin Christian Blanchette, Manuel Eberl, Alejandro Gómez-Londoño, Peter Lammich, Christian Sternagel, Simon Wimmer, Bohua Zhan

Research output: Web publication or Non-textual formWeb publication or WebsiteAcademic

Original languageEnglish
Publication statusPublished - 2021

Cite this