Tree @
master
(
Download .tar.gz
)
..
ratings
Papers.md
README.md
Repositories.md
Webpages.md
Repositories.md
@
master
—
view markup
·
raw
·
history
·
blame
Operational Semantics Repos
thautwarm/Sequent.jl: formally and easily, describe the semantics.
url: https://github.com/thautwarm/Sequent.jl
license: MIT
topics: Operational Semantics