We use astyle

doc/CODING_STYLE.html

@@ -5000,11 +5000,15 @@ they can all read and understand
 everyone's code easily.</p>
 
 
-
+<strike>
 <p>To help you format code correctly, we've
 created a
 <a href="https://raw.githubusercontent.com/google/styleguide/gh-pages/google-c-style.el">
 settings file for emacs</a>.</p>
+</strike>
+
+<p>To help you format code correctly, we use "Artistic Style" 3.0. The <code>make astyle</code> target is available in the Kaleidoscope and plugin Makefiles. Our CI infrastructure enforces <code>astyle</code>'s decisions.
+
 
 <h3 id="Line_Length">Line Length</h3>