GitHub repository: vzaliva/coq-switch
Primary language: Coq
Created: 2018-09-26T17:55:48Z
Description: `switch` plugin for Coq