Monoid Theory Formalized in Alonzo with Little Theories Method

Researchers formalized monoid theory in Alonzo with the little theories method, defining associative and identity laws. Unlike Coq or Lean, it permits informal reasoning. Read more: getnews.me/monoid-theory-formalized... #monoid #alonzo #littletheories