GitHub repository: vilive2/svp
Primary language: Python
Created: 2025-02-12T14:14:00Z
Description: Specification and Verification of Programs Jan'25 @ ISI Kolkata