search

advancedresearch / path_semantics

A research project in path semantics, a re-interpretation of functions for expressing mathematics
MIT License
163 stars 13 forks source link

Improved core axiom #1111

Closed bvssvni closed 3 years ago

bvssvni commented 3 years ago