search

advancedresearch / path_semantics

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

Updated with new HOOO EP axioms #1272

Closed bvssvni closed 1 year ago

bvssvni commented 1 year ago