Prop v0.8 released! Propositional theorem proving in Rust (Logic)

• path_semantics

  12 158 8.6 Rust

  A research project in path semantics, a re-interpretation of functions for expressing mathematics

  

Also, symbolic distinction might play a role in understanding consciousness in relation to Wolfram models. If the hypothesis and underlying assumptions are true, then this could be a major scientific breakthrough. Wolfram models correspond to theorem proving with IPL, so there might be a corresponding interpretation of physics associated with PSI. See https://github.com/advancedresearch/avatar_hypergraph_rewriting for more information. Here is the paper about the hypothesis: https://github.com/advancedresearch/path_semantics/blob/master/papers-wip2/the-symbolic-distinction-hypothesis-of-consciousness.pdf

• prop

  6 58 8.0 Rust

  Propositional logic with types in Rust

  

If you have questions, please open up an issue on the Prop project (https://github.com/advancedresearch/prop/issues). You can also join us on the Discord server (https://discord.gg/JkrhJJRBR2).

• InfluxDB

  www.influxdata.com sponsored

  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.

  

• monotonic_solver

  1 44 1.8 Rust

  A monotonic solver designed to be easy to use with Rust enum expressions

  

Have you checked out the repositories under the AdvancedResearch organization? I recommend checking out the generic monotonic solver (https://github.com/advancedresearch/monotonic_solver) and the generic linear solver (https://github.com/advancedresearch/linear_solver).

• linear_solver

  1 32 1.8 Rust

  A linear solver designed to be easy to use with Rust enums.

  

Have you checked out the repositories under the AdvancedResearch organization? I recommend checking out the generic monotonic solver (https://github.com/advancedresearch/monotonic_solver) and the generic linear solver (https://github.com/advancedresearch/linear_solver).

• tree_mem_sort

  1 24 1.8 Rust

  An in-memory topological sort algorithm for trees based on Group Theory

  

Oh, I forgot, I did use group theory to make this: https://github.com/advancedresearch/tree_mem_sort. This is used in the type checker of the Dyon programming language.

• avatar_hypergraph_rewriting

  1 2 0.0 Rust

  Hypergraph rewriting system with avatars for symbolic distinction

  

Also, symbolic distinction might play a role in understanding consciousness in relation to Wolfram models. If the hypothesis and underlying assumptions are true, then this could be a major scientific breakthrough. Wolfram models correspond to theorem proving with IPL, so there might be a corresponding interpretation of physics associated with PSI. See https://github.com/advancedresearch/avatar_hypergraph_rewriting for more information. Here is the paper about the hypothesis: https://github.com/advancedresearch/path_semantics/blob/master/papers-wip2/the-symbolic-distinction-hypothesis-of-consciousness.pdf

Suggest a related project