#lean4

English(1)

Correlated tags: #ITP

1

1 2

Bekijk je favoriete video's, luister naar de muziek die je leuk vindt, upload originele content en deel alles met vrienden, familie en anderen op YouTube.

#Lean #lean4 #maths

on Tue, 5PM

1

From blogspot.com

19 - Reductio Ad Absurdum

1 4

In this final Part IV we'll explore some more interesting kinds of proof. Here we'll take a first look at proof by contradiction . Task Give...

#Lean #lean4 #maths

on Mon, 5PM

Showing first 2 out of 2