Timeline for What programming languages do mathematicians use?
Current License: CC BY-SA 2.5
2 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Sep 12, 2011 at 14:25 | comment | added | Timothy Chow | Some proof assistants like HOL Light and Coq are written in OCAML. If the use of these proof assistants increases then we can expect to see more mathematicians learning OCAML. | |
| Jan 30, 2010 at 18:51 | history | answered | Kostya | CC BY-SA 2.5 |