Similar projects and alternatives to logical_verification_2021
Material for Kevin Buzzard's 2021 TCC courrse on formalising mathematics.
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.
Lean material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics.
logical_verification_2021 reviews and mentions
[suggestion] Learning about math proofs using lean
4 projects | reddit.com/r/math | 22 Mar 2022
There is also the https://github.com/blanchette/logical_verification_2021 with the accompanying course website https://lean-forward.github.io/logical-verification/2021/.