A companion web page
This page collects our results about the Sea-of-Nodes IR.
- Semantic Reasoning about the Sea of Nodes, D. Demange,
Y. Fernández de Retana, D. Pichardie, CC 2018. [.pdf]
Formalization in Coq
Download the last stable version of the Coq development
The README contains information on compiling the code, as well
as an overview of the files with descriptions.