This sounds very interesting and relevant to the goals of the CSLib initiative that apparently just got started. I don't have a better public link to it now exc

This sounds very interesting and relevant to the goals of the CSLib initiative that apparently just got started. I don't have a better public link to it now except this LinkedIn post (perhaps there's a Zulip tag): https://www.linkedin.com/posts/lean-fro_leanlang-cslib-formalmethods-activity-7346261424253390848-Gyp2?utm_source=share&utm_medium=member_desktop&rcm=ACoAACy6Y6oBgIB8xUPzmkame7vvWUWXyAjV7xQ https://www.linkedin.com/posts/lean-fro_leanlang-cslib-forma...