Explore All Offerings
Contact a Technical Expert
View Case Study
View Opportunities
Explore
Learn More
Research Engineer, Inria
Sylvain Dailler
We report on the creation of the first lemma of a new lemma library on arrays: a lemma on transitivity of the order in arrays.