GitHub repository: tchajed/ltac2-tutorial
Primary language: Coq
Created: 2020-03-05T15:05:43Z
Description: Ltac2 tutorial