SharadJan 16, 20211 min readCentaur Theorem Provers - 3 part seriesUpdated: Jan 18, 2021PAST: The story of machine proofs Part-1PRESENT: The story of machine proofs Part-2 (also published in hackernoon)FUTURE: The story of machine proofs Part-3 (coming soon...)
PAST: The story of machine proofs Part-1PRESENT: The story of machine proofs Part-2 (also published in hackernoon)FUTURE: The story of machine proofs Part-3 (coming soon...)