6 ms·
See the Coq proofs in https://github.com/barry-jay-personal/tree-calculus/ https://github.com/barry-jay-personal/tree-calculus/ for the pre-typed tree content a
by justosophy 2y ago
See the Coq proofs in https://github.com/barry-jay-personal/tree-calculus/ https://github.com/barry-jay-personal/tree-calculus/ for the pre-typed tree content as well.
- agnishom 2y agoIt's a good thing there are Coq proofs. However, I would still like to see the paper though. A paper is supposed to be more than just a syntactic theory. Typically there is some motivation included as well.