Kind

★ 3,768 Open GitHub ↗

A modern proof language

// repository documentation