---
group:
  name: 'gzn00417'
  description: ''
  projects:
  - name: '2019Fall-Mathematical-Logic'
    description: ''
    mirrorRelease: false
    topic: ''