GitHub repository: FCAI-Lab/Motto
Primary language: Rocq Prover
Description: I just wanna MOTTO! Gimme Gimme More!