OSS Lab @ University of Warwick
Takao Inoue
Takao-Inoue
I am a mathematical logician, a computer scientist and a mathematician. I write Mizar articles. I play the violin. I am a reviewer of zbMATH Open.
Japan
{{ message }}