Algebra Tactics

github.comtool

Ring and field tactics for Mathematical Components.

from

Coq

added

2026-10-10

likes

0

Coq › Projects > Libraries: “Ring and field tactics for Mathematical Components.”