The SAT Museum [pdf] | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		The SAT Museum [pdf] (ceur-ws.org)
		21 points by matt_d on Dec 10, 2023 \| hide \| past \| favorite \| 1 comment

ratmice on Dec 11, 2023 [–]

Another cool museum, https://theoremprover-museum.github.io/

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact