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