GitHub repository: kevinsullivan/complogic-s21
Primary language: Lean
Description: Computational Logic For All