About | Robbert Krebbers
Description: Personal Webpage which includes an overview on my work
blog (30031) cv (3257) personal-website (717)
Welcome to my personal site, where I write ¬¬interesting posts about constructive mathematics, logic, computation and the occasional puzzle.
July 22, 2022
In this post I want to have a look at functions on finite sets and one of their inescapable passions: cycling.
About | Robbert Krebbers