| Original language | English |
|---|---|
| Publication status | Published - 2021 |
Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver
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