MetaPRL — A modular logical environment (0)

by Jason Hickey, Aleksey Nogin, Robert L Constable, Brian E Aydemir, Eli Barzilay, Yegor Bryukhov, Richard Eaton, Adam Granicz, Alexei Kopylov, Christoph Kreitz, Vladimir N Krupski, Lori Lorigo, Stephan Schmitt, Carl Witty, Xin Yu