Damien Thomine

Stream: new members

[Damien Thomine]

Hello everyone,

I am a teacher/researcher in ergodic theory and dynamical systems, currently working in Orsay, a couple of doors away from Patrick Massot's office (for now).

I have started a personnal project on formalizing notions around topological entropy and topological pressure. Although my initial goals where maybe a bit (too?) ambitious, I have already a few files I could add to the project (mostly some groundwork to facilitate the project itself). I wrote then a few months ago, but I have just ported from Lean3 to Lean4.

Is it possible to get a write access for branches on mathlib4?

[Patrick Massot]

What is your GitHub identity?

[Damien Thomine]

It's D-Thomine

[Patrick Massot]

You're invited!

[Damien Thomine]

Thanks!