Automated Lean Proofs for Every Type (galois.com) | HN Screenshots

YHacker Newsscreenshots

Screenshot of galois.com: Automated Lean Proofs for Every Type

First screen, captured 1 year ago.

Looks similar

Screenshot of galois.com: Claude can sometimes prove it

Claude can sometimes prove it (galois.com)

198 points by lairv 1 year ago | 60 comments

Screenshot of philipzucker.com: Knuckledragger, a Semi-Automated Python Proof Assistant

Knuckledragger, a Semi-Automated Python Proof Assistant (philipzucker.com)

64 points by philzook 2 years ago | 14 comments

Screenshot of step-saga-examples.pages.dev: I Reverse Engineered Vercel's v0.dev Prompt and Code Optimization Logic

I Reverse Engineered Vercel's v0.dev Prompt and Code Optimization Logic (step-saga-examples.pages.dev)

17 points by swyx 2 years ago | 4 comments

Screenshot of atproto.com: ATProto for distributed system engineers

ATProto for distributed system engineers (atproto.com)

182 points by danabramov 2 years ago | 34 comments

Screenshot of matthewrocklin.com: My article on why AI is great (or terrible) or how to use it

My article on why AI is great (or terrible) or how to use it (matthewrocklin.com)

151 points by akshayka 9 months ago | 208 comments

Screenshot of leandojo.org: LeanDojo: Theorem Proving in Lean Using LLMs

LeanDojo: Theorem Proving in Lean Using LLMs (leandojo.org)

155 points by aseg 2 years ago | 46 comments