chore: delete navbar.md

This commit is contained in:
sripwoud
2024-08-19 16:04:31 +02:00
parent 68761806d2
commit 969dea3455

View File

@@ -1,8 +0,0 @@
- Introduction
- Example
- Tutorial
- Circom
- Spartan
- Halo2
- APIs
- Circuit Design