This is sometimes called inquiry-based teaching or Moore method, and… there is a textbook advertised as adhering to this particular style, Carol Schumacher's Closer and Closer: Introducing Real Analysis, haven't had it in hand though.