GitHub / math-comp / algebra-tactics
Ring, field, lra, nra, and psatz tactics for Mathematical Components
JSON API: http://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/math-comp%2Falgebra-tactics
PURL: pkg:github/math-comp/algebra-tactics
Stars: 34
Forks: 4
Open issues: 14
License: None
Language: Rocq Prover
Size: 357 KB
Dependencies parsed at: Pending
Created at: over 4 years ago
Updated at: 9 days ago
Pushed at: 9 days ago
Last synced at: 9 days ago
Topics: coq, elpi, mathcomp, proof-automation, ssreflect
Loading...