physbuzz

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

physbuzz's Most Recent 15 Streams

Past stream logs

1y 6m 3m 1m
to
Download CSV
  • Proving notnot (who's there) | More Metamath Mo- I mean Fewer Problems | My other stream runs Lean
    - streamed for 4 hours
    19
    avg viewers
    26
    peak viewers
    more data
  • Straight up proving it | and by it I mean modus ponens | Metamath Monda- I mean Saturdays
    - streamed for 8 hours
    13
    avg viewers
    17
    peak viewers
    more data
  • Imrpomptu [sic] Metamath Again | idk man
    - streamed for 8 hours
    15
    avg viewers
    17
    peak viewers
    more data
  • Homemade Metamath for the Soul (the Connoisseur's Proof Assistant)
    - streamed for 7 hours
    11
    avg viewers
    14
    peak viewers
    more data
  • 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-
    - streamed for 9 hours
    13
    avg viewers
    16
    peak viewers
    more data
  • 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
    - streamed for 7 hours
    29
    avg viewers
    47
    peak viewers
    more data
  • I've never Metamath that I didn't like (lie) | Learning Metamath | "Aha! So this must be the starting point of all mathematical knowledge!"
    - streamed for 4 hours
    15
    avg viewers
    20
    peak viewers
    more data
  • Buildheiming in Valheim 1.0heim | I'm normal about this | "NO math NONE I will NOT do cool integrals or asymptotics on stream," he lied.
    - streamed for 3 hours
    11
    avg viewers
    11
    peak viewers
    more data
  • The real Icarus is the ambitions we failed along the way 🤗 | How do I stream again? | Vertical lines delimit clauses
    - streamed for 2 hours
    10
    avg viewers
    10
    peak viewers
    more data