GitHub repository: Julian/rpylean
Primary language: Python
Created: 2025-03-16T21:36:33Z
Description: A Lean (4) type checker written in RPython