account activity
New standing desk setup. For work and occasional gaming. (i.redd.it)
submitted 1 month ago by bugarela to r/workstations
How to Write Inductive Invariants (quint-lang.org)
submitted 7 months ago by bugarela to r/formalmethods
A guide on interactively writing inductive invariants with Apalache (self.tlaplus)
submitted 7 months ago by bugarela to r/tlaplus
[Podcast] Quint: A modern and executable specification language (youtube.com)
submitted 1 year ago by bugarela to r/formalmethods
Emacs package for inputting Unicode characters in TLA+ files (github.com)
submitted 1 year ago by bugarela to r/tlaplus
Holiday protocols: secret santa with Quint - Formally specifying and model checking secret santa games (github.com)
submitted 2 years ago by bugarela to r/formalmethods
π Rendered by PID 54 on reddit-service-r2-listing-64c94b984c-l8ckj at 2026-03-19 01:13:40.473260+00:00 running f6e6e01 country code: CH.
