Lean

This page will collect formalisation projects in Lean. Nothing is posted here yet.