5 Theorem Provers packages and projects
-
tamarin-prover
9.8 7.8 HaskellMain source code repository of the Tamarin prover for security protocol verification. -
haskhol-core
0.8 0.0 HaskellThe core logical system of the HaskHOL theorem prover. See haskhol.org for more details.
Build time-series-based applications quickly and at scale.
InfluxDB is the Time Series Platform where developers build real-time applications for analytics, IoT and cloud-native services. Easy to start, it is available in the cloud or on-premises.
Promo
www.influxdata.com