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