Skip to content

Remove Stdlib dependency #1

Remove Stdlib dependency

Remove Stdlib dependency #1

coq-elpi

succeeded Feb 21, 2025 in 49s