Timeline for Mathematicians with both “very abstract” and “very applied” achievements
Current License: CC BY-SA 4.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jul 10, 2022 at 4:05 | comment | added | xuq01 | @Z.M The theory, sure; a lot of type theory work was driven by Coq. But according to my understanding, Coquand was also involved in a lot of the "dirty" implementation work. | |
| Jul 9, 2022 at 19:51 | comment | added | Z. M | I think that they are quite the same thing. The theory behind Coq is quite foundational and logic. | |
| S Jan 1, 2020 at 15:19 | history | answered | xuq01 | CC BY-SA 4.0 | |
| S Jan 1, 2020 at 15:19 | history | made wiki | Post Made Community Wiki by xuq01 |