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: Online publication or Non-textual formOnline publication or WebsiteAcademic

Original languageEnglish
Publication statusPublished - 2021

Cite this