Given a, b, q, r each represented as 3 limbs like x = (x_0, x_1, x_2) where
7/6/2023See [soundness proof] for relevant context.
7/6/2023Gregor Mitscha-Baude Born 1987 Vienna, Austria Github - Twitter - Email CV Legend: blue ~ educational, red ~ professional 2007 - 2014 MSc, Mathematics, TU Vienna. Master thesis in theoretical numerical analysis.
10/21/2021