1:28

Playgroup invitation 2021

By: lsavard

invitation to virtual playgroup

48:44

MU 060 MIDI lecture

By: dfeurzei

Introduction to MIDI protocol

8:49

conditional derivation proofs PHIL 013C

By: mcweiner

A nine-minute video about conditional derivation, a new kind of rule. Listen closely for a special appearance from a squeaky raccoon.

6:15

proofs vI double negation double arrow PHIL013

By: mcweiner

A video of just over six minutes about doing proofs with four new rules: or in, double negation, and double arrow in and out.