top | item 29409656

(no title)

raptortech | 4 years ago

See also: https://coq.inria.fr/

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

discuss

order

No comments yet.