Collective Proving Activity in a Synchronous Online Environment