SpiceQA
Questions
Tags
Users
Badges
Rúben Dias
@Rúben Dias
0
reputation
0
answers
0
questions
About Me
// Hello, World !
Top Answers
Exctraction of the Proof from Fitting's leanTap Prolog Prover
1 votes
Exctraction of the Proof from Fitting's leanTap Prolog Prover
1 votes
Top Questions
