Dashboard/Components/Navbar.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

Imports (2)
Imported by 2 files
  1. inductive NavbarState line 10 source
  2. def renderTab line 18 source
  3. def navbar line 22 source