4 ms·The SAT Museum [pdf]21 points by matt_d 3y agoratmice 3y agoAnother cool museum, https://theoremprover-museum.github.io/ https://theoremprover-museum.github.io/