yasuo_ozu@Rust is special, SAT solvers are great @yasuo_ozu_en

{Nagoya, Tokyo}, Japan Physics / Arch Linux / Rust / SaTYsFi / FreeBSD / Compilers / SAT Solver / theorem prover / A Capella 日本語→ @yasuo_ozu Joined November 2020
  • Tweets
    4
  • Followers
    13
  • Following
    50
  • Likes
    3