GitHub repository: ntabee/lean-exercise
Primary language: Lean
Created: 2020-02-13T05:40:23Z
Description: Lean theorm prover, exercises in the official doc. https://leanprover.github.io/theorem_proving_in_lean