physbuzz

Proving notnot (who's there) | More Metamath Mo- I mean Fewer Problems | My other stream runs Lean

188回視聴 ・ 4h15m20s ・ 2026/11/8

Straight up proving it | and by it I mean modus ponens | Metamath Monda- I mean Saturdays

322回視聴 ・ 7h58m0s ・ 2026/11/8

Imrpomptu [sic] Metamath Again | idk man

238回視聴 ・ 7h58m10s ・ 2026/11/6

Homemade Metamath for the Soul (the Connoisseur's Proof Assistant)

177回視聴 ・ 7h6m20s ・ 2026/11/2

Writing an incredibly no good Metamath interpreter | Why? It's simple really, it's because... hm. I suppose to succinctly answer I'd say th-

261回視聴 ・ 8h35m0s ・ 2026/10/31

More Metamath | Substitution RULES!!! | Get it? Like rule as in- it- there's two ways you can- you know, like rule as in a rule or rule as i

276回視聴 ・ 6h33m0s ・ 2026/10/28