4 ms·
The only useful ltac I see in there is compare, which can save a lot of tedious rewrites, when needing that frequently.
by thaliaarchi 3y ago
The only useful ltac I see in there is compare, which can save a lot of tedious rewrites, when needing that frequently.