https://cluster-site.onrender.com/tags/theories/ Recent content in Theories on Tenu Tech Brief Hugo -- 0.146.0 en-us Tue, 24 Feb 2026 06:03:01 +0000 https://cluster-site.onrender.com/posts/the-equational-theories-project-advancing-collaborative-mathematical-research-at-scale/ Tue, 09 Dec 2025 17:13:55 +0000 https://cluster-site.onrender.com/posts/the-equational-theories-project-advancing-collaborative-mathematical-research-at-scale/ • Matthew Bolan, Joachim Breitner, Jose Brox, Nicholas Carlini, Mario Carneiro, Floris van Doorn, Martin Dvorak, Andrés Goens, Aaron Hill, Harald Husum, Hernán Ibarra Mejia, Zoltan