Add schema.org structured data to events page#739

jessealama wants to merge 21 commits into

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

jessealama:add-semantic-data-to-eventsjessealama/leanprover-community.github.io:add-semantic-data-to-eventsCopy head branch name to clipboard