This repository has been archived by the owner on Oct 14, 2023. It is now read-only.

HoTT Library

Jump to bottom

Leonardo de Moura edited this page Oct 18, 2017 · 8 revisions

We don't support HoTT in Lean 3

For HoTT mode, please use Lean2.