Operational Semantics Repos
===========================

<!--
SPDX-FileCopyrightText: Chris Pressey, the original author of this work, has dedicated it to the public domain.

SPDX-License-Identifier: CC0-1.0
-->

### thautwarm/Sequent.jl: formally and easily, describe the semantics.

*   url: https://github.com/thautwarm/Sequent.jl
*   license: MIT
*   topics: Operational Semantics