GitHub repository: JetBrains-Research/big-rocq
Primary language: TypeScript
Description: BigRocq is a utility, that takes a Rocq (former Coq) project as input and uses domain knowladge to increase a number of theorems in the dataset by a significant factor.