User:Jnarboux

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