Open computational evidence infrastructure for Lean

**Project Summary:** The Open computational evidence infrastructure for Lean is an open-source project that aims to make deployment and operations more repeatab