GitHub repository: windwardly/Kind
Description: A modern proof language