init repo, add initial structure

This commit is contained in:
arnaucube 2025-01-30 17:32:09 +01:00
commit ceeddba2b5
15 changed files with 40 additions and 0 deletions

15
src/SUMMARY.md Normal file
View file

@ -0,0 +1,15 @@
# Summary
- [Introduction](./introduction.md)
# Specification
- [Data types](./datatypes.md)
- [MerkleTree](./merkletree.md)
- [Deductions](./deductions.md)
- [Statements](./statements.md)
- [Operations](./operations.md)
- [POD types](./podtypes.md)
- [SignedPOD](./signedpod.md)
- [MainPOD](./mainpod.md)
- [MockPOD](./mockpod.md)
- [Examples](./examples.md)