Add intentions to the project page - #887

Add intentions to the project page#887

grunweg merged 6 commits into

leanprover-community:lean4leanprover-community/leanprover-community.github.io:lean4from

faenuccio:fae_Intentionsfaenuccio/LeanCommunity:fae_IntentionsCopy head branch name to clipboard