The Rewster: Type Preserving Rewrite Rules for the Rocq Prover

Journal of Automated Reasoning 2026 Open access

Read full text

Authors: Yann Leray, Gaëtan Gilbert, Nicolas Tabareau, Théo Winterhalter

DOI: 10.1007/s10817-026-09753-0

Cited by: 0

References: 19

Fields of Study & Subjects

Natural Language Processing Techniques Handwritten Text Recognition Techniques Image Processing and 3D Reconstruction

References 19