Journal: Formalized Mathematics

Volume 22, Issue 2

0 -- 0Adam Grabowski, Yasunari Shidama. Preface
99 -- 103Marco B. Caminati, Artur Kornilowicz. Pseudo-Canonical Formulae are Classical
105 -- 110Yasushige Watase. Lagrange's Four-Square Theorem
111 -- 118Christoph Schwarzweller. Proth Numbers
119 -- 123Karol Pak. Bertrand's Ballot Theorem
125 -- 155Grzegorz Bancerek. Term Context
157 -- 166Adam Grabowski. Cauchy Mean Theorem
167 -- 176William Richter, Adam Grabowski, Jesse Alama. Tarski Geometry Axioms
177 -- 178Adam Naumowicz. A Note on the Seven Bridges of Königsberg Problem
179 -- 186Karol Pak. Topological Manifolds