This post will no longer show to you. Undo
2019-11-21T19:36:54+01:00 ·
1000 Cancel
Tim Baanen
I am a PhD candidate at Vrije Universiteit Amsterdam, part of the Lean Forward project under the supervision of Jasmin Blanchette. My research interests lie are the intersection of computing science and mathematics, in a gradient from (intuitionistic) logic, type theory, formal ver...
Read More