Replace ssrlia with mczify
Since Prosa now requires Coq >= 8.13 and mczify is also available for Coq >= 8.13, we could replace the home made ssrlia by the more powerful lia offered by mczify.
Edited by Björn Brandenburg
Since Prosa now requires Coq >= 8.13 and mczify is also available for Coq >= 8.13, we could replace the home made ssrlia by the more powerful lia offered by mczify.