ltac2-tutorial
ltac2-tutorial copied to clipboard
tchajed
Ltac2 tutorial
Results
2
ltac2-tutorial issues
Sort by
recently updated
recently updated
newest added
You refer here to some comments in the Ltac2 documentation which are not easy to understand. https://github.com/tchajed/ltac2-tutorial/blob/ce5b3536efa1e73cf580178b03cd5acdb8d9426e/src/ltac2_tutorial.v#L358 I agree with you, I also found them difficult to understand. After thinking...
