This repository was archived by the owner on Jun 2, 2019. It is now read-only.

Discussions

Jump to bottom

William DeMeo edited this page Jul 24, 2018 · 2 revisions

Welcome to lean-ualib Discussions!

(Here we can discuss issues, theory, problems, solutions, etc concerning the lean-ualib repository.)