Friday, January 20, 2023

New top story on Hacker News: Lean – Theorem Prover

Lean – Theorem Prover
15 by thunderbong | 1 comments on Hacker News.


at
Labels:

No comments:

Post a Comment

Subscribe to: Post Comments (Atom)

Show HN: rtrvr.ai – AI Web Agent for Automating Workflows and Data Extraction

Hey HN, I'm excited to share rtrvr.ai, a Chrome extension that brings the power of AI agents to your everyday web browsing. It's de...