Mathematical Components
Results
11
repositories owned by
Mathematical Components
analysis
182
Stars
40
Forks
Watchers
Mathematical Components compliant Analysis Library
hierarchy-builder
92
Stars
19
Forks
Watchers
High level commands to declare a hierarchy based on packed classes
Abel
28
Stars
7
Forks
Watchers
A proof of Abel-Ruffini theorem.
algebra-tactics
29
Stars
1
Forks
Watchers
Ring, field, lra, nra, and psatz tactics for Mathematical Components
finmap
46
Stars
29
Forks
Watchers
Finite sets, finite maps, multisets and generic sets
mczify
22
Stars
7
Forks
Watchers
Micromega tactics for Mathematical Components
odd-order
24
Stars
14
Forks
Watchers
The formal proof of the Odd Order Theorem