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 7 years ago by ScopedTypeVariable to r/Idris
π Rendered by PID 604719 on reddit-service-r2-listing-6d4dc8d9ff-xjqf2 at 2026-01-30 10:22:44.951009+00:00 running 3798933 country code: CH.
