Reputation
Top tag
Next privilege 250 Rep.
View close votes
Badges
7
Impact
~2k people reached

  • 0 posts edited
  • 0 helpful flags
  • 2 votes cast
Jul
30
accepted How are the full semantics of SOL and HOL specified?