Here is a Google Drive folder of all of the formal systems sheets that I’ve made and used over the years.
Here’s a blog post I wrote about using formal systems in class. It’s a recap of a previous presentation I did. You might find it a useful resource if you’re trying to explain this idea to someone.
And finally, here’s a three-question survey about my presentation. I’d appreciate your feedback!