There’s more to mathematics than rigour and proofs

This page summarizes the projects mentioned and recommended in the original post on news.ycombinator.com

Our great sponsors
  • InfluxDB - Power Real-Time Data Analytics at Scale
  • WorkOS - The modern identity platform for B2B SaaS
  • SaaSHub - Software Alternatives and Reviews
  • mathlib

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

  • I understood math much better after following the Software Foundations tutorials:

    https://softwarefoundations.cis.upenn.edu/

    Another good starting point (for mathematicians) would be the Lean community group and the Math lib project:

    https://arxiv.org/pdf/1910.09336.pdf

    https://github.com/leanprover-community/mathlib

  • 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.

    InfluxDB logo
NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a more popular project.

Suggest a related project

Related posts