January 30, 2019: CL welcomes Ping Hou, Josh Chen, and Stanisław Purgał as new members

The three new members will work on the project “Strong Modular Proof Assistance: Reasoning Across Theories”. They will work on CoqHammer and learning for automated reasoning.