[ 3 / biz / cgl / ck / diy / fa / ic / jp / lit / sci / vr / vt ] [ index / top / reports ] [ become a patron ] [ status ]
2023-11: Warosu is now out of extended maintenance.

/sci/ - Science & Math

Search:

View post   
>> No.8112182 [View]
File: 40 KB, 640x360, _85264665_mourinho.jpg [View same] [iqdb] [saucenao] [google]
8112182

>>8112065
>engineering philosophy

>> No.8094064 [View]
File: 40 KB, 640x360, _85264665_mourinho.jpg [View same] [iqdb] [saucenao] [google]
8094064

>>8094049
shut up, ur gay

>> No.8063466 [View]
File: 40 KB, 640x360, _85264665_mourinho.jpg [View same] [iqdb] [saucenao] [google]
8063466

>>8061407
>what is subtyping
>implying MLTT is the only type theory to ever exist

>>8063447
>no mac lane
>mfw

Navigation
View posts[+24][+48][+96]