About Cryptography Academy

Vision

Cryptography Academy is an educational platform combining intuitive explanations with machine-verified proofs. Our goal is to create a comprehensive resource where mathematical rigor meets accessibility.

Every definition is precise Lean 4 code. Every theorem cites its source paper. Proofs can be incrementally formalized, with transparent status tracking so you always know what's been verified and what's still in progress.

Future Scope

While we start with cryptography, the platform is designed to expand into a broader mathematics.academy covering:

  • Physics and mathematical physics
  • Geometry (algebraic, differential, computational)
  • Financial mathematics and quantitative finance
  • Machine learning and AI foundations
  • Category theory and abstract algebra

Developed By

BaDaaS

A research laboratory in mathematics based in Belgium, focused on formal methods, cryptography, and privacy-preserving technologies.

Danny Willems

"A mathematician fighting for privacy and security on the Internet, while dreaming about describing the Universe with equations and symbols."

Contributing

Contributions are welcome! Whether you want to:

  • Formalize a new theorem
  • Improve existing proofs
  • Write educational content
  • Create visualizations
  • Fix bugs or typos

Check out our GitHub repository to get started.

License

This project is released under the MIT License. The Lean formalizations and website content are freely available for educational and research purposes.