StekiKun
Results
1
comments of
StekiKun
Indeed, and this is the part that is harder to maintain as the Coq API or Ltac behaviour evolve. I opened coq-contribs/containers#8 to make sure we start with something that...