Tools on Rewriting

2 tools found.

• CeTA

  last modified: Jun 29, 2024 00:14:00

  

  CeTA is a tool that certifies termination analysis (in terms of a termination proof) provided by a termination tool.

  * 2024/06/28: IsaFoR/CeTA version 3.2 has been released. ... The current version is 3.2. To access previous versions of CeTA and see...

  

  categories certification termination Isabelle LGPL term_rewriting

• CoLoR

  last modified: May 04, 2018 22:40:19

  

  A Coq library on rewriting and termination with tactics for automatically checking the conditions of termination theorems.

  CoLoR: a Coq Library on Rewriting and termination __________________________________________________________________ ... CoLoR is a library of formal mathematical definitions and proofs of theor...

  

  categories certification termination Coq term_rewriting