Markus Himmel
Results
12
comments of
Markus Himmel
@david-christiansen Thank you very much for the detailed review! I'll give you a chance to confirm that all of your comments have been addressed and then I think it's time...
Jujian Zhang just ran into this while demoing Lean to a bunch of people in Durham :)