Std4 Alternatives

Similar projects and alternatives to std4 based on common topics and language

lean4

53 3,739 9.9 Lean std4 VS lean4

Lean 4 programming language and theorem prover
mathlib4

10 791 10.0 Lean std4 VS mathlib4

The math library of Lean 4
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.
lean4-metaprogramming-book

1 193 7.8 Lean std4 VS lean4-metaprogramming-book
lean4-raytracer

2 113 3.5 Lean std4 VS lean4-raytracer

A simple raytracer written in Lean 4
con-nf

1 33 9.6 Lean std4 VS con-nf

A formal consistency proof of Quine's set theory New Foundations
mathlib

36 1,625 8.8 Lean std4 VS mathlib

Lean 3's obsolete mathematical components library: please use mathlib4

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a better std4 alternative or higher similarity.

Suggest an alternative to std4

std4 reviews and mentions

Posts with mentions or reviews of std4. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2024-03-20.