Tom Ridge

1

Reputation

16 views

Unregistered User

Name	Tom Ridge
Member for	2 years
Seen	Oct 12 2010 at 9:04
Website
Location
Age

stats recent reputation favorites

0

Questions

1

Answers

Has anyone thought about creating a formal proof wiki with verifier?

0

Votes

2

Tags

formal-languages
bourbaki

3

Badges

● Nice Answer