Keyword:Rocq

Publications
A Minimalist Approach to Trustworthy Programming with Precise Types using Small Inversions Pierre Corbineau, Basile Gros and Jean-Francois Monin In:Proceedings of the 26th Conference on Logic for Programming, Artificial Intelligence, and Reasoning
LLM-Assisted Formal Verification of Bit-vector Invertibility Conditions in Rocq Ha Truong, Jordin Palmeri, Liam Secrist, Jacob Schuckman, Arjun Viswanathan and Yoni Zohar In:Proceedings of the 26th Conference on Logic for Programming, Artificial Intelligence, and Reasoning