This is your work, valued

Hangzhou, China

Bruno Bentzen

Advanced
@bbentzen

Assistant Professor in the School of Philosophy at Zhejiang University, China.

mpl. A Henkin-style completeness proof for the modal logic S5

18

ipl. Lean

5

hott-book-in-lean. Formalization of the Part I of the Homotopy Type Theory book in Lean 2

4

cubo. Cubo is an experimental proof assistant for cubical extensional type theory

3