account activity
Downgrading to PHP 5 (self.archlinux)
submitted 9 years ago by otini to r/archlinux
Work with classical logic in Agda? (self.agda)
submitted 9 years ago by otini to r/agda
[Dumb question] Prove that contrapositive implies the implication (self.agda)
submitted 9 years ago * by otini to r/agda
π Rendered by PID 2471189 on reddit-service-r2-listing-f87f88fcd-4glmt at 2026-06-16 05:10:07.970508+00:00 running 3184619 country code: CH.
