GitHub repository: meluge/monomorphization
Primary language: Lean
Created: 2025-06-24T02:36:31Z
Description: monomorphization for typeclasses in Lean 4