LASER-UMASS / TacTok

The TacTok automated Coq proof script synthesis tool
16Updated last year

Alternatives and similar repositories for TacTok:

Users that are interested in TacTok are comparing it to the libraries listed below