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