Tactician
Manual
API
Publications
People
Demo
Github
changelog
Github
changelog
Manual
Quick start
Installation
Usage
Coq packages
API
API Introduction
Graph2Tac & Text2Tac
Coq Commands
PyTactician
Datasets
API
API
API Introduction
Graph2Tac & Text2Tac
Coq Commands
PyTactician
Datasets