Mentions légales du service

Skip to content

gallery: yet another list reversal

Jean-Christophe Filliâtre requested to merge yet-another-list-reversal into master

this one has a fully automated proof, no lemma, no transformation, not even split

Merge request reports