> [! Announcement] > Explore the intersection of mathematical communities attempting to provide semantics of mathematical proofs