Skip to main content

New answers tagged

0 votes
Accepted

Simple Coq simplification question

What simpl does is compute the result of expressions that can be computed with the available information. For example, ...
Ana Borges's user avatar

Top 50 recent answers are included