GitHub repository: HazardousPeach/coq2vec
Primary language: Python
Created: 2022-09-01T20:00:44Z
Description: A module for encoding coq terms into fixed-width vectors