Skip to content
The Nexus
DossierENTITY

Lawrence C. Paulson

Coverage of Lawrence C. Paulson in the Nexus archive.

Earliest in view: Apr 27 · 14:24 UTCMost recent: Apr 27 · 14:24 UTC
Co-mentioned in this coverage
Leantopic1Lawrence C. Paulson's blogorganization1Hacker News (news.ycombinator.com)organization1
Recent coverage
  • TECHNOLOGYApr 27 · 14:24 UTCHACKER NEWS
    "Why not just use Lean?"

    The article 'Why not just use Lean?' by Lawrence C. Paulson discusses considerations for adopting Lean, a theorem prover and programming language. It appears to explore trade-offs in using Lean compared to other systems, with limited engagement reflected in low comments and points.