Title: Library mechanization