Xavier Leroy - Home page
home page of xavier leroy, a computer scientist. information on xavier leroy's research projects, courses, publications, and open-source software.
Total Visits
Avg. Visit Duration
Pages per Visit
Bounce Rate
Registration Date
Month | Traffic |
---|---|
2025-02 | 3.542 |
2025-03 | 3.085 |
2025-04 | 3.134 |
2025-05 | 2.563 |
Source | Traffic Share |
---|---|
search | 44.77% |
direct | 40.81% |
social | 7.41% |
referrals | 6.17% |
paid referrals | 0.72% |
0.11% |
Region | Percentage |
---|---|
United States | 57.49% |
FR | 42.51% |
Keyword | Traffic | Volume | CPC |
---|---|---|---|
exercices de styles | 10 | 100 | $0.00 |
system f | 146 | 1,460 | $0.00 |
different equalities in hott | 2 | 20 | $0.00 |
reynolds abstraction theorem types for free | 2 | 20 | $0.00 |
programming = proving? the curry-howard correspondence today | 3 | 30 | $0.00 |