Logic Research Group Wiki

Overview

Link: GitHub Repository

University of Maryland

• Organized and led a team of graduate students in logic to build a database of hard-to-find proofs and definitions in model theory.