Hacker News new | ask | show | jobs
by mirekrusin 905 days ago
You can still have stochastic model that works on and/or produces ie. coq formalism.