Dan Christensen

1
Reputation
16 views
Is this your account?

Unregistered User 

Name Dan Christensen
Member for 2 years
Seen Oct 7 2010 at 18:04
Website
Location
Age
0

Questions

 

1

Answers
0
Is there any proof assistant based on first-order logic?

 

0

Votes

 

2

Tags


 

0

Badges