F*: A New Bar for Linux ARM

Very cool. as someone not familiar with this I would love to see configurations for Linux Mint's Cinnamon. Is there a state in which this constitutes fraud?