Introduction: Perrin Alaine-Sedano

Stream: new members

[Perrin Alaine-Sedano]

Hi,

I'm Perrin, I have a BS in physics and minors in math and computer science from UNCA. Recently I've become really interested in proof assistants and particularly how AI could be applied to automatically generate computer programs and mathematical proofs. Looking forward to being a part of this community and seeing what I can learn and contribute