New Arduino library: MenuSystem

Does this library work for the teensy 3.5?