Dashboard/Components/
6 declarations, 0 contain sorry, 0 declared as axioms; 4 files
Files
- Base.lean 1 declarations
- CompAnchor.lean 1 declarations
- Footer.lean 1 declarations
- Navbar.lean 3 declarations
Dashboard/Components/6 declarations, 0 contain sorry, 0 declared as axioms; 4 files