The Mathematical Structures pages: current status and future plans.
Peter Jipsen

Abstract. At math.chapman.edu/structures is a list of over 300 (mostly
first-order) classes of (mostly algebraic) structures. The aim of this
project, which I started several years ago, is to have formal (machine
readable) definitions for each of these classes and to list the status of
several important properties that are of interest for such classes. If
a class has finite members, the number of nonisomorphic members of each
(small) size are mentioned, and a library of such structures is under
construction. I will discuss some issues related to interfacing this
list with server-side theorem provers, and other possible extensions of
this project.