TeX - LaTeX
Matteo's user avatar
Matteo's user avatar
Matteo's user avatar
Matteo
Unregistered
  • Member for 8 years, 2 months
  • Last seen more than 8 years ago
Profile Activity
Stats
99
reputation
3k
reached
3
answers
6
questions
Communities
Badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
7
bronze badges
Top tags
1
Score
9
Posts
100
Posts %
1
Score
7
Posts
78
Posts %
1
Score
6
Posts
67
Posts %
0
Score
1
Posts
11
Posts %
Top posts
All Questions Answers
Score Newest
question
3
Ho to reduce distance between non monotonic turnstile and its subscript
Oct 6, 2015
question
2
Assumptions discharge, proof summary and labelling with bussproof
Nov 13, 2015
question
1
Natural deduction in linear style
Sep 9, 2015
question
1
Formula after inference with bussproof package
Oct 18, 2015
question
1
Premise Discharge with vertical dots with bussproof.sty
Nov 8, 2015
answer
1
Assumptions discharge, proof summary and labelling with bussproof
Nov 13, 2015
question
0
Vertical dots centred in Lemmon style derivation
Sep 17, 2015
answer
0
Formula after inference with bussproof package
Oct 18, 2015
answer
0
Assumptions discharge, proof summary and labelling with bussproof
Nov 16, 2015

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.