Who I am

Name: Saito Teppei / 齊藤 哲平

Research Interests: term rewriting, automated theorem proving

Links