GitHub repository: madvorak/sup-lean
Primary language: Lean
Created: 2024-05-30T11:54:38Z
Description: Attempt at importing multiple Lean projects