Tech
A tale of four theorem provers, or: A (reasonably) opinionated comparison of Isabelle/HOL, Lean, HOL4, and Agda
Comments
Read the full discussion on Lobsters
This article was aggregated from Lobsters. Click to join the conversation.
View on Lobsters
Related Trends in Tech
I’m Still Convinced the iPod Was the Perfect Gadget
🌍
The humble Playdate has become one of gaming’s best deals
🌍
Meta is banning TikTok ads across its platforms
🌍
A week with Googlebooks: four notes from our testing so far
🌍
Instinct was the buzziest AI agent around — can it survive Muse?
🌍
Trump’s attempt to rename AI is looking awfully artificial