jessealama

86
Reputation
63 views
Is this your account?

Registered User 

Name jessealama
Member for 3 years
Seen Mar 24 at 11:32
Website
Location Stuttgart, Germany
Age
0

Questions

 

6

Answers
votes newest views recent
3
How do proof verifiers work?
3
Has anyone thought about creating a formal proof wiki with verifier?
2
Sequent calculus: is there a complete linear reasoning (i.e., no trees)?
1
What are some other uses for Ehrenfeucht-Fraïssé games?
1
When are two proofs of the same theorem really different proofs
0
Do you know any good introductory resource on sequent calculus?

 

9

Votes
9

 

9

Tags
× 5
× 4







 

3

Badges
● Supporter
 ● Editor
 ● Teacher