I made this and completely forgot what it means

Well I understand like half of it

Math salad

The next einstein

I know I was working on making a W type constructor

Way to show off

Nerd

but I don't understand it because.it was months ago

https://youtu.be/YIrJ0_lrYvs

The answer is 1

Thank me later

2+2=4
Proof
refl 4

👌

43

Is always the awnser

refl Nat 4 : 2+2=_Nat 4

you mean 21

9 + 10?

you stoopid

@Abe Lover lol

If i dig a 10 feet deep hole how deep is that hole

type theory is superior to set theory

20 sheep in a field, farmer shoots one dead ,how many sheep left in the field?

Do we have to post photos related to the current topic or can I post a picture of my adorable bunny?

set theory is the current foundation of all mathematics

No

@ElectroquasistaticMagnetoMan 0

What collor is a fire red firetruck

@Abe Lover nope

Why

Unless you forgot to put the s in sheep

There's no plural to sheep

You can't have sheeps

Sheep

The answer is 20

English language.priblems

Sheep is multiple

mices <:smart:484956754489376781> gooses

Sounds weird

He is dead but he is still in the field