SpiceQA
Questions
Tags
Users
Badges
user_1121356
@user_1121356
0
reputation
0
answers
2
questions
About Me
// Hello, World !
Top Answers
Exctraction of the Proof from Fitting's leanTap Prolog Prover
1 votes
Top Questions
Prolog implementation of Quine's algorithm for classical propositional logic (in Quine's "Methods of Logic")
9 votes
3 answers
Exctraction of the Proof from Fitting's leanTap Prolog Prover
1 votes
3 answers
