GitHub repository: ngernest/chamelean_wip
Primary language: Lean
Description: Property-based testing for Lean via metaprogramming