Parametric linear arithmetic over ordered fields in Isabelle/HOL

Cached

Download Links

by Amine Chaieb
Citations:1 - 0 self