Patterns tagged with Isabelle

You are in mobile-friendly mode, which is recommended for all devices, especially mobile devices. Turn on desktop mode.

Warning: Desktop mode is intended for mobile devices only and will not display correctly on desktop or laptop computers