GitHub repository: KisaraBlue/ec-tate-lean
Primary language: Lean
Created: 2022-10-13T10:31:39Z
Description: Separate project from mathib4