Interactive Jupyter Notebooks to teach working with IFC files using ifcopenshell - View it on GitHub