/six-eyes

A work-in-progress structure editor for the cooltt proof assistant.

Primary LanguageRust

Watchers