/lean

grhkm having fun with lean and mathlib!

Primary LanguageLean

This repository is not active