About Yutaka

I am a scientist at the Czech Academy of Sciences.
I developed PSL and all that in Isabelle/HOL. Opinions are my own.

Website: https://yutakang.github.io

Lists

Timeline

yutakang_en has no activity yet