Formal semantics for a model of Opal (https://capra.cs.cornell.edu/research/opal/) - View it on GitHub
Star
0
Rank
12704795