| Original language | English |
|---|---|
| Publication status | Published - 2021 |
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 form › Web publication or Website › Academic