GitHub repository: xiaoh105/MiniGmp-Verification
Primary language: Rocq Prover
Description: CS2206, Final Project