1 dataset found

Tags: reduction-strategy

Filter Results

  • Simple simpl

    We report on a new implementation of a reduction strategy in Coq to simplify terms during interactive proofs. By "simplify", we mean to reduce terms as much as...
You can also access this registry using the API (see API Docs).