Vladimir Ovechkin

Stream: new members

[Vladimir Ovechkin]

Hi all, I am a programmer by day, but enjoy studying formal logic and type systems as a hobbyist. My specific interest is towards for the formal verification of user-space C programs, because that's what I spend most of my time writing.

I can program in Haskell and prove in Coq at a mediocre level. I started studying Lean after hearing about it at a dinner party.

I've been lurking the general chat, and created an account because I will have a neat contribution to share with the community hopefully after the New Year's.

[Vladimir Ovechkin]

Also, I noticed when reading the elan install script a while back that it was copyrighted to the rust project with a dead link. Is this intentional?

[Niels Voss]

I doubt it's intentional but I'm pretty sure the reason it exists is because elan is essentially a fork of rustup

[Ashley Blacquiere]

Issue logged here: https://github.com/leanprover/elan/issues/156