Zulip Chat Archive

Hello, I'm Jay Yarlott, an undergrad at UVM. I'm working with @Fabio Anzà on formalization of thermodynamics and statistical mechanics. My background is primarily in computer science, but I am taking classes in physics and math. I've enjoyed writing code in Lean so far, and I hope to be able to contribute to the community in some way.