From where to import types

Stream: lean4

[Hale Öztürk]

I am new to this place, hopefully this is the correct topic.

My Problem is, that i need to work with Vectors or Fin in a small project i want todo to learn about lean4. Vector/Vec and Fin are mentioned in some of the online ressources, specifically how they are implemented and how to use them or prove something about them.

But where can i find them? And more generally, how can i find types or other things in lean in general? Pointers to documentation, similar questions or general explanations would be very appreciated on my side!

[Yaël Dillies]

I would highly suggest you use the #docs. Eg here docs#Fin will tell you what file Fin is defined in