Resources for the EARL Current Best Practices in Formal Package Development Workshop - View it on GitHub