111

Reputation

11 views

Registered User

Name
Member for	3 years
Seen	Oct 19 2009 at 1:14
Website
Location
Age

stats recent reputation favorites

1

Questions

11

11

votes

7

answers

1k

views

Intro to automatic theorem proving / logical foundations?

lo.logic proof-assistant

feb 18 10 at 13:54 Charles Stewart 1,669●8●15

0

Answers

0

Votes

2

Tags

proof-assistant
lo.logic

3

Badges

● Popular Question

● Nice Question