Zhang-Liao/coq-tactician-stdlib

This package will recompile Coq's standard library with support for Tactician.

This repository is not active