Sign inSign up

math-comp/algebra-tactics

Ring, field, lra, nra, and psatz tactics for Mathematical Components

Rocq ProverStars 38Forks 4Watchers 38Open issues 14
Details
仓库信息
Ownermath-comp
Homepage—
GitHubhttps://github.com/math-comp/algebra-tactics
Last pushed2025-09-15
Last updated2025-12-13
Issues fetched at—

Stats

Community at a glance

Loading...

Loading

--

Loading

--

Loading

--

Loading

--