GitHub repository: mars0i/depniche
Primary language: Lean
Description: Exploratory: dependent types. niche models.