Giters
h0nzZik
/
Cartesian-Reachability-Logic
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
0
Watchers:
3
Issues:
0
Forks:
1
Cartesian Reachability Logic -- a technical report (WIP)
PDF
About
Languages
Language:
TeX
99.7%
Language:
Nix
0.3%