Registered user since Tue 16 Sep 2025
Name:Satoshi Takimoto
Bio:
PhD student at Institute of Science Tokyo
Country:Japan
Affiliation:Institute of Science Tokyo
Personal website: https://wasabi315.github.io/en/
X (Twitter): https://x.com/wasabi__315
GitHub: https://github.com/wasabi315
Research interests:Functional Programming, Theorem Prover, Type Theory
Contributions
Using general profile