9:11

Proving with Sequents

15:16

Judges are Predicates. Their judgement is Chi.

27:16

Los Fundamentos de Ecuaciones Diferenciales que Nadie te Explica

15:59

Composition is the transitive law in code.

10:34

Proofs as Program

2:59:44

Best of Tchaikovsky - Classical Music Gems

4:00:37

Chopin - 4 Horas de Música Clásica para Estudiar, Concentrarse y Relajarse

19:39

¿Qué tipo de matemáticas deben saber los desarrolladores de juegos?