Towards Automating Permutation Proofs in Rocq: A Reflexive Approach with Iterative Deepening Search (Short Paper).

Nadeem Abdul Hamid

Browse the full ITP paper archive.