Writing a Theorem Prover from Scratch | Hacker News - But Better

Writing a Theorem Prover from Scratch astledsa.substack.com

Bridging the gap between Mathematics and Computer Science

2 points•astledsa•5 days ago•0 comments•

#writing #theorem #scratch #prover #theorem prover #gap #mathematics #bridging

0 comments

No comments yet.

Read the full thread on Hacker News →

Related stories

Lobsters Interview with Susam
Lobsters · 86 points · about 1 year ago
Writing a TSDB from scratch in Godocs.google.com
Lobsters · 4 points · 8 months ago
lean theorem prover used to show that New Foundations set theory is consistent relative to ZFCleanprover-community.github.io
Lobsters · 32 points · over 2 years ago
Socrates on the Invention of Writing and the Relationship of Writing to Memoryhistoryofinformation.com
Hacker News · 1 points · 10 days ago
What DEV Series Are You Reading or Writing? Let’s Make Them Easier to Finddev.to
DEV Community · 69 points · 7 days ago
What is mathematics now, and what should it be?arxiv.org
Hacker News · 1 points · 6 days ago