We show that the first-order theory of Sturmian words over Presburger
ar...
Pecan is an automated theorem prover for reasoning about properties of
S...
Blockchains host smart contracts for crowdfunding, tokens, and many othe...
Blockchain platforms are coming into broad use for processing critical
t...