Added paper by gpt-4 on equality

advancedresearch / path_semantics

A research project in path semantics, a re-interpretation of functions for expressing mathematics

MIT License

160 stars 13 forks source link

Closed bvssvni closed 7 months ago