Lean lean4

Open-source Lean projects categorized as lean4
Topics: #Raytracing #Lean

Lean lean4 Projects

  • lean4

    Lean 4 programming language and theorem prover

    Project mention: Where does "def" for functions come from and why? | reddit.com/r/ProgrammingLanguages | 2023-01-21

    Lean is another language that uses the def keyword, but they use it as a more general "give this term a name" rather than "make a function" ``` -- constant definition def five : ℕ := 5

  • lean4-raytracer

    A simple raytracer written in Lean 4

  • InfluxDB

    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.

NOTE: The open source projects on this list are ordered by number of github stars. The number of mentions indicates repo mentiontions in the last 12 Months or since we started tracking (Dec 2020). The latest post mention was on 2023-01-21.

Lean lean4 related posts


Project Stars
1 lean4 2,059
2 lean4-raytracer 91
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives