3 ms·Compiling Classical Sequent Calculus to Stock Hardware: Duality of Compilation [video]1 points by matt_d 9mo ago