I taught math for many years at a small liberal arts college and now teach it at a state university. I have a couple of Free books: one on Linear Algebra, one on the Theory of Computation, and an Introduction to Proofs that uses the discovery method (sometimes called Moore method); see https://hefferon.net .