GitHub repository: LASER-UMASS/TacTok
Primary language: Coq
Description: The TacTok automated Coq proof script synthesis tool