Xena Project

xenaproject.wordpress.com

A collaborative project where mathematicians learn the Lean proof assistant by formalizing mathematical proofs together.

why we picked it

The Xena Project is a collaborative effort to teach mathematicians formal proof techniques using the Lean proof assistant. The blog documents the process of translating mathematical theorems into code, offering practical tutorials and reflections. It suits those interested in formal methods, math education, or the intersection of computation and logic.

Checked with Google Web Risk · 1 hour ago

Visit xenaproject.wordpress.com ↗ ♡ Save ↻ Surf somewhere else

language: EN
here since: July 2026