GitHub repository: AdrienChampion/experimentalean4
Primary language: Lean
Description: Experimenting with lean4