Are There People Doing Formal Math In Berlin?

1. mathlib4

   1 14 2,075 10.0 Lean

   The math library of Lean 4

   

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

2. InfluxDB

   www.influxdata.com featured

   InfluxDB – Built for High-Performance Time Series Workloads. InfluxDB 3 OSS is now GA. Transform, enrich, and act on time series data directly in the database. Automate critical tasks and eliminate the need to move data externally. Download now.

   

3. TypeTopology

   2 1 257 9.8 Agda

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

   

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

4. UniMath

   3 2 985 9.3 Rocq Prover

   This rocq library aims to formalize a substantial body of mathematics using the univalent point of view.

   

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

Suggest a related project