ralsei / six-eyesLinks

A work-in-progress structure editor for the cooltt proof assistant.
☆18Updated 2 years ago

Alternatives and similar repositories for six-eyes

Users that are interested in six-eyes are comparing it to the libraries listed below

Sorting: