I am preparing some Jupyter notebooks to be hosted on CoCalc. These would illustrate inference in action in several logical systems. In addition, some of the course homework will involve using these notebooks. They are written in Python and in Haskell, but you do not need to know any programming language to use them. If you want to use the notebooks, you will need to register with CoCalc. If you want to try them out before NASSLLI, please shoot me an email.