User
:
Jnarboux
From WikiProjectMed
Jump to navigation
Jump to search
I am a computer scientist specialized in interactive theorem proving in geometry.
Navigation menu
Personal tools
Not logged in
Talk
Contributions
Log in
Namespaces
User page
Talk
English
Views
Read
View source
View history
More
Search
Navigation
Main page
Recent changes
Random page
Donate
Donate
Projects
Wiki Project Med
Community pump
List of articles
Translation
Internet-in-a-Box
Offline app
VideoWiki
OWID
Requested images
Calculators
Tech
Common links
Import tool
Editors
Upload file
Med updater
Create redirects
Import history
Other projects
Commons
NC Commons
Tools
What links here
Related changes
Special pages
Printable version
Page information