medovina / natty
Natty is a natural-language proof assistant with an embedded automatic prover for higher-order logic. It is in an early stage of development.
☆33Updated 3 months ago
Related projects: ⓘ
- comparative formalizations of the Yoneda lemma for 1-categories and infinity-categories