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