 |
Post AvyytgkqgjMZlXk168 by [email protected] |
 |
More posts by [email protected] |
|
Post #AvyytQ8KUB2oDRb1pw by [email protected] |
|
0 likes, 0 repeats |
|
|
|
In which I spelunk through the low-level mechanics of traversing Nondeterminist… |
|
|
|
Post #AvyytVgtp4fTS6oCum by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@timbray <3 <3 <3I did my dissertation on a mechanical verification of… |
|
|
|
Post #AvyytgkqgjMZlXk168 by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@timbray @wordshaper count me in. |
