-
path_semantics
A research project in path semantics, a re-interpretation of functions for expressing mathematics
-
InfluxDB
Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
Homotopy levels is part of the univalent foundations of mathemathics. Normally, you use Martin-Löf type theory (dependent types). For those who don't understand why one can model homotopy levels in propositional logic, the trick is that we use the core axiom of path semantics. You can read more about this here: https://github.com/advancedresearch/path_semantics
NOTE:
The number of mentions on this list indicates mentions on common posts plus user suggested alternatives.
Hence, a higher number means a more popular project.
Related posts
-
What do we mean by "the foundations of mathematics"?
-
The Prop challenge has been solved
-
Prop v0.8 released! Propositional theorem proving in Rust (Logic)
-
Catuṣkoṭi Communication - An intuitive explanation of Cubical Binary Codes in the AML Catuṣkoṭi bridge
-
Answered Modal Logic Catuṣkoṭi - Building a bridge between two esoteric 4-value logics using intuition of quantum measurements