About Tim Carstens

Coq dilettante, Lean & Metamath fan. Math and math accessories. Clean, efficient, reliable, private computation for actual humans. Eng @ RISC Zero

Lists

Timeline

intoverflow has no activity yet