Hacker News new | ask | show | jobs
by gravypod 18 days ago
What kind of harness does the exploration? Where did the corpus of Lean proofs come from? Is the code backing Ton 618 open source?