High-performance C++17 framework for computational proofs of Euler’s theorems in number theory, complex analysis, and topology.
-
Updated
Sep 12, 2025 - C++
#
mathematical-proofs
Here are 4 public repositories matching this topic...
This repository contains the problem sets completed as part of a discrete math course.
-
Updated
May 14, 2024
A teenager's independent rediscovery of classical number theory theorems (2002-2007). Complete diary, analysis, and reflections.
educators mathematics prime-numbers number-theory fibonacci-sequence euler-totient recreational-mathematics mathematical-notation self-directed-learning mathematics-education independent-learning research-diary mathematical-proofs mathematical-research mathematical-discovery fermat-little-theorem math-pedagogy exploration-learning mathematics-history
-
Updated
Jan 25, 2026
A playground for Coq/Rocq proofs and ideas.
-
Updated
Feb 1, 2026 - Rocq Prover
Improve this page
Add a description, image, and links to the mathematical-proofs topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the mathematical-proofs topic, visit your repo's landing page and select "manage topics."