menu

Conversions
Algebra_Aux
Commutative_Ring
Cooper
Dense_Linear_Order
DP_Library
Ferrack
MIR
Approximation_Bounds
Approximation
Rat_Pair
Polynomial_List
Reflected_Multivariate_Polynomial
Parametric_Ferrante_Rackoff
Commutative_Ring_Complete
Reflective_Field
Commutative_Ring_Ex
Approximation_Ex
Approximation_Quickcheck_Ex
Dense_Linear_Order_Ex
Decision_Procs

HOL-Decision_Procs.Commutative_Ring_Ex

HTML Presentation