6 ms·
See also: https://coq.inria.fr/ https://coq.inria.fr/ I'm excited about learned search heuristics in theorem space.
by raptortech 5y ago
See also: https://coq.inria.fr/ https://coq.inria.fr/
I'm excited about learned search heuristics in theorem space.