GitHub repository: suizman/qed
Primary language: Go
Description: quod erat demostrandum - verifiable data structure