This project defines a message format, based on Cap'n Proto, for encoding certain mathematical objects (i.e., real-valued symbolic expressions, sets and set-valued functions) as sequences of bytes.
This page was last edited on 2022-07-05.
This page was last edited on 2022-07-05.