[ 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.9542415 [View]
File: 1.69 MB, 3584x2278, coq-analysis.png [View same] [iqdb] [saucenao] [google]
9542415

How do I do analysis in Coq?

>> No.9538264 [View]
File: 1.69 MB, 3584x2278, coq.png [View same] [iqdb] [saucenao] [google]
9538264

>>9537955
>using a theorem prover developed by microshit
i shiggy diggy

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