TeX - LaTeX
user1868607's user avatar
user1868607's user avatar
user1868607's user avatar
user1868607
  • Member for 7 years, 10 months
  • Last seen more than a week ago
Profile Activity
Stats
559
reputation
22k
reached
0
answers
31
questions
Communities
View all
Badges
View all badges
1
gold badge
4
silver badges
12
bronze badges
Top tags
View all tags
0
Score
13
Posts
42
Posts %
0
Score
4
Posts
13
Posts %
0
Score
3
Posts
10
Posts %
0
Score
3
Posts
10
Posts %
0
Score
3
Posts
10
Posts %
0
Score
3
Posts
10
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
question
6
Quantification in the infer command of the proof package
Nov 14, 2019
question
4
Write hypothesis for inference rules with proof package
May 13, 2017
question
4
Fitting code and formulas together and aligned
Jun 10, 2019
question
3
Break lines in last column of a table to fit in slide
Jun 22, 2019
question
3
Aligning proof rules in tables
Sep 10, 2020
question
3
Tikz grid with text
Jan 11, 2022
question
2
Making photo and text fit in two minipages
May 4, 2017
question
2
Double tip arrow with upper symbol in Tikz
Feb 14, 2018
question
2
Tikz text over/under arrow, oblique lines and curved lines
Feb 16, 2018
question
2
Tikzpicture visual editor
Oct 7, 2022
Top network posts
View all network posts
29
What is a batch compiler?
22
Multiplication of a random variable with constant
19
How to demo Skype-decryption using FOSS tools?
14
Algebraic topology for termination proofs
12
Ruby protected visibility calling from superclass

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.