News for hackers. Stuff that matters.

A comment on Exploring the beauty of pure mathematics in novel ways.

Re:Exploring the beauty of pure mathematics in novel ways by raptortech on Wednesday December 01, 2021 @04:57PM (#29409656)
See also: https://coq.inria.fr/

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

[ Parent | on HN ]

There are no comments on this comment yet.