Hacker News @h4ckernews@mastodon.social · activity timestamp 2 weeks ago 50 years of proof assistantshttps://lawrencecpaulson.github.io//2025/12/05/History_of_Proof_Assistants.html #HackerNews #50years #ProofAssistants #History #TechInnovation #Education Read more Read less Translate 50 years of proof assistants Reply Boost Quote pending approval Like More actions Copy link Flag this post Block
