/stlc

A formalization of STLC and some standard properties.

Primary LanguageLean

Issues