Personal Information
About
Delusional mathematician, who are working a disillusioned government agency.
ÍýÏëµÄÊýѧÕß
Tags
computer science
#voynich
scala dsl test csp
computational complexity
bounded arithmetic
model-checking formal-methods
consistency-proof
bounded-arithmetic
logic
mathematics
bounded-arithmetic p=np
uml formal_methods csp
formal methods
camomile ocaml programming
See more
Users being followed by Yamagata Yoriyuki