Reputation
Next privilege 125 Rep.
Vote down
Badges
3
Newest
 Student
Impact
~37 people reached

  • 0 posts edited
  • 0 helpful flags
  • 2 votes cast
6h
revised Defined negation in intuitionistic linear logic
added 80 characters in body
7h
revised Defined negation in intuitionistic linear logic
added 6 characters in body
May
19
awarded  Student
May
19
awarded  Editor
May
19
revised Defined negation in intuitionistic linear logic
added 228 characters in body
May
19
asked Defined negation in intuitionistic linear logic
Jan
1
awarded  Supporter