|
|
|
|
|
|
by deterministic
1176 days ago
|
|
|
Agree 100%. CT is fun if you like abstract mathematics. But it is not a practical useful tool for developing software. A much better choice would be “Software Foundations”. Now that is also hyper abstract math but useful for developing real world software. As demonstrated with the CompCert and seL4 projects. Even pro mathematicians are starting to dive on (see the LEAN mathlib project for example). |
|
|