/lkfun

A purely functional proof checker

Primary LanguageOCaml

Stargazers

No one’s star this repository yet.