GitHub repository: ppedrot/fiat
Primary language: Coq
Description: Mostly Automated Synthesis of Correct-by-Construction Programs