GitHub - floatshadow/ralr: resource-aware logical relation for AARA resource-aware type system · GitHub

Name		Name	Last commit message	Last commit date
Latest commit History 11 Commits
.vscode		.vscode
mcp		mcp
theories		theories
.gitignore		.gitignore
.gitmodules		.gitmodules
.mcp.json		.mcp.json
_RocqProject		_RocqProject
dune		dune
dune-project		dune-project
ralr.opam		ralr.opam

About

resource-aware logical relation for AARA resource-aware type system

Report repository

Releases

No releases published

Packages

Contributors 1

floatshadow ZHU Siyuan

Languages