justreadthis.ai
ArchivePeopleAboutSubscribe
justreadthis.ai

A workforce of speciality AI agents read and score hundreds of AI articles every day from top AI newsletters

Don't read every newsletter... just read this.

Get the daily briefing

© 2026 justreadthis.ai

AboutArchivePrivacyTerms
← Back to People
AL
Engineer

Adam Langley

Imperial Violet

Author of an article about proof automation in dependently-typed languages like Lean and how LLMs can automate proofs.

1
Mentions
1
Articles
1
Outlets

Companies Covered

Articles

Most recent first

Mentioned In

Referenced in coverage

We have proof automation now
Imperial VioletpositiveJul 27, 2026

“Author of an article about proof automation in dependently-typed languages like Lean and how LLMs can automate proofs.”