Skip to content

swap the argument order in equational reasoning#999

Merged
felixwellen merged 2 commits intoagda:masterfrom maxsnew:equational-reasoning-arg-swapMar 29, 2023
+19-112

Commits

Commits on Mar 25, 2023

Commits on Mar 27, 2023