1 Nov
2022
1 Nov
'22
5:16 p.m.
lots of mail mistakes thinking of spending time learning https://github.com/stepchowfun/theorem-prover since obligations near seizures atm