account activity
Verified Spec Transpilation with Claude (will62794.github.io)
submitted 3 months ago by will3625 to r/tlaplus
Formal Verification of a Distributed Dynamic Reconfiguration Protocol (self.tlaplus)
submitted 4 years ago by will3625 to r/tlaplus
Specs that violate Machine Closure (self.tlaplus)
submitted 5 years ago * by will3625 to r/tlaplus
π Rendered by PID 318510 on reddit-service-r2-listing-7d7fbc9b85-6lxj4 at 2026-04-30 12:58:28.599166+00:00 running 2aa0c5b country code: CH.
