Crossmark

The Rewster: Type Preserving Rewrite Rules for the Rocq Prover

Published Online: 2026-04-11

Published Print: 2026-06

Authors

Leray, Yann

Gilbert, Gaëtan

Tabareau, Nicolas

Winterhalter, Théo
License Information

Text and Data Mining valid from 2026-04-11

Version of Record valid from 2026-04-11
More Information

Article History

Received: 2 October 2025

Accepted: 2 March 2026

First Online: 11 April 2026

Declarations

:

: The authors declare no competing interests.

Document is current