GitHub repository: yatima-inc/Radiya.lean
Primary language: Lean
Description: A self-hosted, content-addressed, Lean4 kernel