Mario Carneiro: Lessons from Metamath

(46:)

A conversation between Mario Carneiro, Norman Megill and Stephen Wolfram

(2:37:50)

Andrej Bauer \u0026 Mario Carneiro: Type universes

(52:58)

Mario Carneiro: System Introductions I - Lean

(27:22)

Mario Carneiro, Lean4Lean: Towards a Verified Typechecker for Lean, in Lean

(1:11:47)

FMM 2021: Porting Mathlib - Mario Carneiro

(1:3)

A LUZ DE MARIO CARNEIRO

(1:13:25)

Mario Carneiro: Impromptu chat about HB in Lean

(53:48)

#44 Theorem Prover Foundations, Lean4Lean, Metamath - Mario Carneiro

(2:13:31)

Metamath Zero (MM0/MM1) tutorial

(35:2)

Mario Carneiro da Rocha HD Resume

(2:48)

Santa Missa do 5º Domingo do Tempo Comum, com Padre Cosmo, no Recife.

(1:40:3)

E o Resto é História. Morte aos fascistas: o cerco do Palácio de Cristal

(1:9:17)

What's so wrong with the Axiom of Choice ?

(4:50)

CHACARA LINDA COM 2 CASAS PISCINA E PAISAGISMO- RECORDAÇÕES SERGIO HENRIQUE

(25:8)

Il caso Roccaraso, De Crescenzo-Borrelli a confronto - Lo stato delle cose 03/02/2025

(10:39)

Seven Dimensions

(14:41)

The Future of Mathematics?

(1:14:48)

An Eye for Mathematics (feat. 3Blue1Brown) - Objectivity 222

(8:37)

Why Geniuses were Confused about Negative Numbers ?

(6:38)

A conversation between Gregory Chaitin and Stephen Wolfram at the Wolfram Summer School 2021

(1:33:33)

Interview 4/23/23 from Stadium Theatre: Mario Carneiro

(1:16)

No Teu Poema (Cover)

(5:16)

MARIO CARNEIRO - TRUCO 14

(31)

Death or Taxes Behind the Scenes Interview: Mario Carneiro

(2:19)

Backstage Interview: Mario Carneiro from July 8, 2022

(2:37)