Cartesian Reachability Logic -- a technical report (WIP)

Name		Name	Last commit message	Last commit date
Latest commit History 279 Commits
.github/workflows		.github/workflows
img		img
sec		sec
README.md		README.md
bibliography.bib		bibliography.bib
crl-example.txt		crl-example.txt
easychair.cls		easychair.cls
flake.lock		flake.lock
flake.nix		flake.nix
main.tex		main.tex
proofs.tex		proofs.tex

Provide feedback