bollu

Status: Active user
Joined: 1 year ago by invitation from doug-moen
Karma: 94, averaging 4.95 per story/comment
Stories Submitted: 2, most commonly tagged pdf
Comments Posted: 17
GitHub: https://github.com/bollu
About:

Interested in mathematics intersection computation: algorithms, proof theory, proof assistants, computer graphics, sat/smt, compiler verification, origami, … github.com/bollu