Hacker News new | ask | show | jobs
by raptortech 1657 days ago
See also: https://coq.inria.fr/

I'm excited about learned search heuristics in theorem space.