Open Mathematics 📜 Papers and resources 🧾 Augmented Theorem Proving Calculus of constructions: lambda calculus Natural number game: http 🖼️ Visualizations MIT Mathlets: http Journals Technometrics. (wiki-http)