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