/lean

my documents about lean language/prover

This repository is not active