Formalized theorems
| MSC | Name | Isabelle | HOL Light | Coq | Lean | Metamath | Mizar |
|---|---|---|---|---|---|---|---|
| 03 | Independence of the continuum hypothesis | X | |||||
| 46 | Stone–Weierstrass theorem | L |
| MSC | Name | Isabelle | HOL Light | Coq | Lean | Metamath | Mizar |
|---|---|---|---|---|---|---|---|
| 03 | Independence of the continuum hypothesis | X | |||||
| 46 | Stone–Weierstrass theorem | L |