SpiceQA
Questions
Tags
Users
Badges
user_13130834
@user_13130834
0
reputation
0
answers
1
questions
About Me
// Hello, World !
Top Answers
Top Questions
What does it mean for a fact used in Isabelle to have a number after the name?
2 votes
1 answers
