Skip to content
<awesome-gh-repos>
vic

satiscugcat/software-foundations-lean

A translation of Software Foundations to LEAN
Source code at GitHub null
satiscugcat/software-foundations-lean.json
{
  "createdAt": "2025-06-19T14:40:38Z",
  "defaultBranch": "main",
  "description": "A translation of Software Foundations to LEAN",
  "fullName": "satiscugcat/software-foundations-lean",
  "homepage": null,
  "language": "Lean",
  "name": "software-foundations-lean",
  "pushedAt": "2025-06-24T16:35:04Z",
  "stargazersCount": 5,
  "topics": [],
  "updatedAt": "2025-07-04T03:44:31Z",
  "url": "https://github.com/satiscugcat/software-foundations-lean"
}

software-foundations-lean

Section titled “software-foundations-lean”