Refresh Hypercerts profile with a short introduction and docs links - #5

Refresh Hypercerts profile with a short introduction and docs links#5

kristoferlund wants to merge 4 commits into

mainhypercerts-org/.github:mainfrom

docs/align-org-profile-with-documentationhypercerts-org/.github:docs/align-org-profile-with-documentationCopy head branch name to clipboard