GitHub repository: BalandinIlia/classical_language
Primary language: Lean
Created: 2025-04-28T13:14:39Z
Description: Classical language formalization in Lean