/lean-logic

My code for CI in ITP

Primary LanguageLean

This repository is not active