About

Let's Prove is a small educational project — a place to read carefully written lessons in mathematics and logic, work through examples, and build a durable understanding of the foundations.

The site currently hosts four courses — Foundations of Mathematical Logic, Sequences and Progressions, General Theory of Functions, and The Linear Function — with more planned over time.

Why "prove"?

The name is a promise about method. Here, mathematics is not a list of formulas to memorise: every definition is stated precisely, every theorem is proved in full, and every exercise comes with the reasoning made visible. Proof is how mathematics earns its certainty — and learning to follow and build proofs is the skill this site exists to teach.

The lessons are written as preparation for computer science, which is built the same way — on precise definitions, exact rules, and arguments you can check step by step. You can write code without understanding the math underneath, but you cannot understand CS deeply without it. This site is a place to build that foundation, patiently.

Who's behind this

Let's Prove is built and maintained by Karina Baha — a software developer with a long-term interest in mathematics and logic. The lessons here are written the way I wish more textbooks were: careful, well-paced, with definitions stated cleanly and proofs spelled out.

Each lesson is written and edited by me, with Claude (Anthropic) used as a drafting aid. If you spot an error, please tell me — that's how the material gets better.

Use and licensing

The lessons on this site are made available for personal study. Content is © 2026 Let's Prove. All rights reserved. If you would like to reuse material in a classroom or other educational setting, please reach out — we are happy to discuss it.