Skip to content

Rename error trace to the more user friendly Counterexample#354

Draft
FedericoPonzi wants to merge 1 commit intotlaplus:masterfrom FedericoPonzi:counterexample
+1-1

Commits

Commits on Dec 12, 2024