Skip to content

adjust CI to Rocq changes #28

adjust CI to Rocq changes

adjust CI to Rocq changes #28

coq

succeeded Feb 9, 2025 in 34s