100644 blob c2296ef58bd0b3c935da5699ea2953f1bb65be8c	.gitignore
100644 blob 574583c9e4e4e2dfcdd227d340e1ab88e1f4d64c	AUTHORS
100644 blob 69f169c32f6c258459d6f69525f7082d52372316	CONTRIBUTING.md
100644 blob b294e50fbea38f3664f67526452b1003eb130066	CONTRIBUTORS
100644 blob 411db13c19f2e9245c49573472bd5276b078200b	LICENSE
100644 blob d52cc55876bae630a6716bf3e465dd9b0d2dcfa0	PATENTS
100644 blob e271bf5966de6a51232aa8ec7bda7690600c0fe2	README.md
100644 blob 603150b2ef03799f34dfca5534e62a99cc42ce19	VERSION
040000 tree 80c6d6f4c325a7073ada4778aecb7cb5d9433e55	concepts
040000 tree a9830efc6d116aa6f012bb0e62098ccd1275626d	contributing
040000 tree 4495dc375fb7318af7295841442d6cd7438bb4c9	designdocs
100644 blob 0ceb1fdaeb744b03607ce77fb97870d6508267b6	glossary.md
040000 tree 464ec6bcc4f47e9918fe9fad5f51c64d20d9e5db	images
100644 blob bd20598f091c2749220387324659fbd47b7edabc	installation.md
040000 tree bc64064ccfb1b5f06ef4e936dff4d5a2daeb6b5b	proofs
040000 tree 13b6d2d465542eb660d2b38111177b09800ba2c5	tools
100644 blob d3309dedd808f01350c83532b79950ae4478dd86	tos.md
040000 tree 26ca9aa34e88c27a73148cf15b728e5ac93b6f0b	tutorials