bollu
6 months ago by invitation from doug-moen
47, averaging 3.92 per story/comment
1, most commonly tagged plt
11
https://github.com/bollu
Interested in mathematics intersection computation: algorithms, proof theory, proof assistants, computer graphics, sat/smt, compiler verification, origami, … github.com/bollu