Alfredo Moreira-Rosa

Stream: new members

[Alfredo Moreira-Rosa]

I see that i did not present myself to the community,
So i though i may need to, even if that i started learning Lean at the end of last Year, but joined Zulip after searching for some answers more recently.
So I'm a software architect in banking in Paris, I'm 47 and my name is Alfredo Moreira-Rosa.
I started lean-units library as i needed one for a small lab project, and thought i could find one here. I saw many attemps, but nothing at the level i needed for engineering.
I'm in the process to integrate some or all of it to PhysLean.
Hopefully all will be merged, but we'll see how it goes.
I'm mostly interested in software part of Lean.
Lean-units is some kind of a Trap i fall into :grinning_face_with_smiling_eyes:, but after that i want to improve the https Client/Server status of Std Lean (not just http), as i see little progress on this side, and I need one for my lab project.
I'll may make announcement when lean-units gets integrated to PhysLean.
Lean community, and PhysLean particularly is amazing, welcoming, always ready to help newcomers. So a Big thank you, especially to @Eric Wieserand @Joseph Tooby-Smith that have given me good insights and help.
So that's it. If you have any questions, i'll be happy to answer.

[Alfredo Moreira-Rosa]

And in case you are curious about lean-units, here's a link :
https://github.com/ecyrbe/lean-units

[Kevin Buzzard]

ecyrbe said:

Lean-units is some kind of a Trap i fall into

This whole area is full of traps! I fell in in 2017 and never really got out!

[Kevin Buzzard]

@ecyrbe if you're happy to announce your real name here, why not use it for your Zulip username? We don't demand it but we prefer it (especially for users who are interested in making useful contributions to the ecosystem, and my impression is that you are one of those users).

[Alfredo Moreira-Rosa]

Yes, fixed!