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. Learn more →
Prop Alternatives
Similar projects and alternatives to prop
-
-
-
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.
-
-
path_semantics
A research project in path semantics, a re-interpretation of functions for expressing mathematics
-
creusot
Discontinued Creusot helps you prove your code is correct in an automated fashion. [Moved to: https://github.com/creusot-rs/creusot] (by xldenis)
-
-
-
SaaSHub
SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives
-
-
-
NOTE:
The number of mentions on this list indicates mentions on common posts plus user suggested alternatives.
Hence, a higher number means a better prop alternative or higher similarity.
prop reviews and mentions
Posts with mentions or reviews of prop.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2023-01-18.
-
Prop v0.42 released! Don't panic! The answer is... support for dependent types :)
I opened up this issue on the Prop project for further discussion.
- The Prop challenge has been solved
-
AdvancedResearch: Help us reduce axioms for HOOO Exponential Propositions from 4 to 3! (cash reward for finding a Rust function)
Prop v0.31 has been released! (Propositional logic with types in Rust). This update has a new set of 4 axioms for HOOO Exponential Propositions. Proofs were found for multiple previous axioms, so it might happen that there exists a proof for one more axiom. For more information about the challenge, see https://github.com/advancedresearch/prop/issues/522
- Dyon used to extract data from Rust code and analyze it
-
Prop v0.8 released Propositional theorem proving in Rust (Logic)
This update changes the PSI implementation (path semantical logic) to use a safe model of path semantical quality. The problem previously was how to handle reflexivity without symbolic distinction (this is beyond IPL - constructive logic). Now we have a safe subset of path semantics that works with IPL and also already proved some useful results for further research on Seshatism.
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).
-
Prop v0.8 released! Propositional theorem proving in Rust (Logic)
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).
-
A note from our sponsor - InfluxDB
www.influxdata.com | 5 May 2024
Stats
Basic prop repo stats
6
58
8.0
9 months ago
advancedresearch/prop is an open source project licensed under MIT License which is an OSI approved license.
The primary programming language of prop is Rust.
Sponsored
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com