My B.Sc. senior project. I have created a small toy-language, and pseudomath takes source code in that language as input. The output is a set of mathematical expressions, such that the functional behavior is the same as that program. For example:
| Name | Name | Last commit date | ||
|---|---|---|---|---|
Latest commit | ||||
My B.Sc. senior project. I have created a small toy-language, and pseudomath takes source code in that language as input. The output is a set of mathematical expressions, such that the functional behavior is the same as that program. For example: