#cryspen — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #cryspen, aggregated by home.social.
-
We're thrilled to welcome Alexander Bentkamp to the Cryspen family!
Alex joins our Tools and Proofs team with a deep background in automated and interactive theorem proving, especially with the Lean proof assistant. We're excited to have his expertise as we continue our work on formally verifying security-critical software.
Welcome aboard, Alex!
-
One of the challenges with the deployment of more automated reasoning is often the tooling. Cool to see #Cryspen invest in a new integrated development and verification environment based on hax. Congrats @franziskus and team :)
https://cryspen.com/post/cyber-campus-hax/