GitHub repository: Julian/lean-across-the-board
Primary language: Lean
Created: 2020-09-02T21:02:39Z
Description: An attempt to learn Lean via implementing a theorem (hopefully more) from Across the Board. Progress will be... slow.