Version: 5
Template: github
Owner: math-comp
Project: algebra-tactics
