4 ms·
For a mathematician, I'd recommend a dialect of ML (or Haskell). It's based on a theorem prover, even.
by silentbicycle 18y ago
For a mathematician, I'd recommend a dialect of ML (or Haskell). It's based on a theorem prover, even.
loading thread…