Write a Blog >>

Registered user since Tue 11 Dec 2018

Name:Fabian Immler
Affiliation:Carnegie Mellon University

Contributions

CPP 2020 The Poincaré-Bendixson Theorem in Isabelle/HOL
Show activities from other conferences

POPL 2020-profile
View general profile