GitHub repository: HIPERFIT/contracts
Primary language: Coq
Description: Symbolic financial contract EDSL