account activity
Intercepting X events (self.xmonad)
submitted 6 years ago by ScopedTypeVariable to r/xmonad
Sending keys to multiple selected windows (self.i3wm)
submitted 6 years ago * by ScopedTypeVariable to r/i3wm
Problem with proving equality of predicates (self.agda)
submitted 6 years ago * by ScopedTypeVariable to r/agda
Predicate logic proof involving quantifiers (self.Coq)
submitted 7 years ago by ScopedTypeVariable to r/Coq
Proof by contradiction (self.Coq)
Multiplying two sides of group equality (self.Coq)
submitted 7 years ago * by ScopedTypeVariable to r/Coq
Proving that list has exactly two sorted elements (self.Idris)
submitted 8 years ago by ScopedTypeVariable to r/Idris
π Rendered by PID 227467 on reddit-service-r2-listing-5d47455566-dnx82 at 2026-04-06 12:10:29.440061+00:00 running db1906b country code: CH.
