Box Office| Brent Eickhoff Featuring| Elliot Baker, Tim Blewitt, John Corkill, dado, Michael Doonan, Tyler Meredith, Carolyn Molloy, Alex Monroe, Paul Somers, Maria Stephens, Stephen Walker, David Weber, Dan Wenzel, and Matt Vuckovich Summer 2015 A Red Orchid Incubator Photo: Jeffrey Brooks L...
In particular, we'd like to thank Rudi Grinberg, Andrey Mokhov, Clément Pit-Claudel, and Makarius Wenzel for their help and advice. Gaëtan Gilbert contributed many key and challenging Coq patches essential to coq-lsp; we also thank Guillaume Munch-Maccagnoni for his memprof-limits library, ...