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"? -
▲ 1
Answered Modal Logic CatuṣkoṭI [pdf]story by pyinstallwoes · 2021-03-31 · 0 comments
-
▲ 2
Path Semanticsstory by alex_hirner · 2020-11-15 · 0 comments
-
…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