GitHub repository: satiscugcat/software-foundations-lean
Primary language: Lean
Created: 2025-06-19T14:40:39Z
Description: A translation of Software Foundations to LEAN