Latex source for "Smart Contracts as Authorized Production Rules".
Primary LanguageTeX
No issues in this repository yet.