This info can be extracted from the Ergast API: http://ergast.com/mrd/methods/laps/ (avalaible from 1996). We also have the info in CSV format: - https://www.kaggle.com/datasets/rohanrao/formula-1-world-championship-1950-2020?select=lap_times.csv - http://ergast.com/mrd/db/#csv
This info can be extracted from the Ergast API: http://ergast.com/mrd/methods/laps/ (avalaible from 1996).
We also have the info in CSV format: