Rigorous Rigorous is a Python framework for working with inference rule systems. Its focus is the definition of formal semantics, in particular Plotkin-style Structural Operational Semantics (SOS), for programming languages.