Jump to content

User:Jnarboux

From Wikipedia, the free encyclopedia

I am a computer scientist specialized in interactive theorem proving in geometry.