Define "dumber" versions in Naive Zen Logic

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

Open bvssvni opened 2 years ago