GitHub - leodemoura/attr_ex: Lean Attributes Example

Name	Name	Last commit message	Last commit date
Latest commit leodemoura Add attributes Dec 2, 2023 9f7fff1 · Dec 2, 2023 History 2 Commits
Attrex	Attrex	Add attributes	Dec 2, 2023
.gitignore	.gitignore	create new repo	Dec 2, 2023
Attrex.lean	Attrex.lean	Add attributes	Dec 2, 2023
Main.lean	Main.lean	Add attributes	Dec 2, 2023
lake-manifest.json	lake-manifest.json	create new repo	Dec 2, 2023
lakefile.lean	lakefile.lean	create new repo	Dec 2, 2023
lean-toolchain	lean-toolchain	create new repo	Dec 2, 2023