/LeanHOL

super tiny implementation of higher-order logic proof assistant in lean

Primary LanguageLean

Stargazers