A tiny Python library/DSL to construct Python formal models
A tiny Python library/DSL for constructing formal models, useful for prototyping and internal workflows. Manual inspection is recommended before adoption due to
Original sourceA tiny Python library/DSL for constructing formal models, useful for prototyping and internal workflows. Manual inspection is recommended before adoption due to
Original source