Home
Random
Nearby

Log in

Settings

Donate

About Wikipedia
Disclaimers

Jnarboux

Joined 23 May 2006

User page
Talk

Watch
View history
Contributions
Edit
More

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

Retrieved from "https://en.wikipedia.org/w/index.php?title=User:Jnarboux&oldid=634512860"

Last edited on 19 November 2014, at 09:53

Languages

This page is not available in other languages.

This page was last edited on 19 November 2014, at 09:53 (UTC).
Content is available under CC BY-SA 4.0 unless otherwise noted.

Privacy policy
About Wikipedia
Disclaimers
Contact Wikipedia
Code of Conduct
Developers
Statistics
Cookie statement
Terms of Use
Desktop