Proofs on Noureddine RAMDIhttps://ramdi.fr/tags/proofs/Recent content in Proofs on Noureddine RAMDIHugoenSat, 23 May 2026 20:41:27 +0000understanding-math: a curated knowledge base for mathematical literacy and notationhttps://ramdi.fr/github-stars/understanding-math-a-curated-knowledge-base-for-mathematical-literacy-and-notation/Mon, 04 May 2026 10:23:02 +0000https://ramdi.fr/github-stars/understanding-math-a-curated-knowledge-base-for-mathematical-literacy-and-notation/understanding-math is a curated repository aggregating resources on mathematical literacy, notation, and proof techniques, bridging math concepts with programming needs in ML and cryptography.