GitHub repository: HigherOrderCO/Wikind
Description: Collection of Kind2 programs and proofs