GitHub repository: JetBrains-Research/rocqstar-rag
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.