C Cohen,
K Sakaguchi, E Tassi - FSCD 2020-5th International …, 2020 - inria.hal.science
It is nowadays customary to organize libraries of machine checked proofs around
hierarchies of algebraic structures [2, 6, 8, 16, 18, 23, 27]. One influential example is the …