Requis : Chrome ≥ 48 ou Firefox ≥ 45. Le chargement initial peut durer une dizaine de secondes. Appuyez sur Alt+N/Alt+P ou Alt+Bas/Alt+Haut pour avancer dans le document, ou sur Alt+Entrée pour évaluer le document jusqu'au curseur. Le traitement des lignes «Require Import» peut prendre plusieurs secondes.