constructive-mathematic Open-Source Projects

• awesome-rust-formalized-reasoning

  0 227 0.0

  An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification.

• TypeTopology

  1 184 10.0 Agda

  Logical manifestations of topological concepts, and other things, via the univalent point of view.

  Project mention: Are There People Doing Formal Math In Berlin? | /r/berlinsocialclub | 2023-06-13

  I just wonder if there are any irl meetups of people involved with formalizing mathematics, I thought that it would be a cool hobby to pick up (with some background in math and programming) but the existing libraries, like MathLib, TypeTopology or UniMath look a bit intimidating...

• SonarLint

  www.sonarlint.org

  sponsored

  Clean code begins in your IDE with SonarLint. Up your coding game and discover issues early. SonarLint is a free plugin that helps you find & fix bugs and security issues from the moment you start writing code. Install from your favorite IDE marketplace today.

  

Index

Sponsored

Collect and Analyze Billions of Data Points in Real Time

Manage all types of time series data in a single, purpose-built database. Run at any scale in any environment in the cloud, on-premises, or at the edge.

www.influxdata.com