Formalising-mathematics-2022 Alternatives

Similar projects and alternatives to formalising-mathematics-2022

formalising-mathematics

5 294 2.6 Lean formalising-mathematics-2022 VS formalising-mathematics

Lean 3 material for Kevin Buzzard's 2021 TCC courrse on formalising mathematics. Lean 4 version available here: https://github.com/ImperialCollegeLondon/formalising-mathematics-2024
logical_verification_2021

1 25 0.0 Lean formalising-mathematics-2022 VS logical_verification_2021
InfluxDB

www.influxdata.com sponsored

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

1 178 9.0 Shell formalising-mathematics-2022 VS platform

Multi platform setup for Coq, Coq libraries and tools (by coq)

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a better formalising-mathematics-2022 alternative or higher similarity.

Suggest an alternative to formalising-mathematics-2022

formalising-mathematics-2022 reviews and mentions

Posts with mentions or reviews of formalising-mathematics-2022. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2022-03-22.

[suggestion] Learning about math proofs using lean
4 projects | /r/math | 22 Mar 2022

Professor Buzzard's current iteration of the course is continuing here in this 2022 repository. (And yes it's very very good).