Writing a Theorem Prover from Scratchastledsa.substack.com2 points·astledsa··0 commentsOpen articleSaveView on HN