[ 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.8850296 [View]
File: 141 KB, 1049x724, Chapter13.png [View same] [iqdb] [saucenao] [google]
8850296

>>8850268
>something similar

mhm... afaik Coq is just for compiling code, not to run programs. So you'll not find instructions on how to implement a Vending machine finite state machine on the type level or have people write type checkers for the developing editors and so on.

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