HomeIsabelle/Phabricator

Tobias Nipkow found the issue. A line in the proof of frechet_vec_nth. Reduced…

Description

Tobias Nipkow found the issue. A line in the proof of frechet_vec_nth. Reduced the ROOT file's timeout to 1500.

Event Timeline