A formal proof in Coq of Lasalle's invariance principle
scientific article; zbMATH DE number 6821849