Conversation
Notices
-
rice (rice@netzsphaere.xyz)'s status on Wednesday, 02-Mar-2022 23:36:31 JST rice @sampo the theorem prover? - バツ子(痛いの痛いの飛んでけ;; likes this.
-
san po (sampo@pleroma.soykaf.com)'s status on Wednesday, 02-Mar-2022 23:36:32 JST san po I have finally been pushed over the edge and forced to educate myself on what "lean" is