GitHub repository: ldct/LeanGT
Primary language: Lean
Created: 2024-12-01T04:38:42Z
Description: Experiments in Lean