advancedresearch/path_semantics
View on GitHub ↗ ★ 185 Rust
A research project in path semantics, a re-interpretation of functions for expressing mathematics
4 mentions on Hacker News by 4 people: 2 stories, 2 comments · first 2020-05-17 · latest 2023-11-02
20082026
-
…Between these moments, there are ways to propagate quality, which is a partial equivalence. https://github.com/advancedresearch/path_semantics
comment by bvssvni · 2023-11-02 · in What do we mean by "the foundations of mathematics"? -
…of which are full of undefined, nonstandard notation and prose that reads like the output of GPT-2: https://github.com/advancedresearch/path_semantics/tree/mast... If that time were spent on writing just one, but clearly written…
comment by pwdisswordfish2 · 2020-05-17 · in Poi: Pragmatic point-free theorem prover assistant in Rust