YHacker Newsscreenshots

leandojo.org on Hacker News

2 stories on the front page, newest first. Scroll down to watch the site change over time.

Screenshot of leandojo.org: TorchLean: Formalizing Neural Networks in Lean

TorchLean: Formalizing Neural Networks in Lean (leandojo.org)

85 points by matt_d 7 months ago | 12 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