upandabout

↗ HN profile [ 24.6 ms ] full profile

Karma: 1
Created: January 22, 2016 (10y ago)
Submissions: 0

Of course, gotta have that "but model checkers are better!" from pron.

10y ago · view thread · ↗