Tecton

swMATH28905MaRDI QIDQ40619FDOQ40619

Author name not available (Why is that?)

Described by source

• An overview of the Tecton proof system

Cited In (4)

• New uses of linear arithmetic in automated theorem proving by induction
• Constraint contextual rewriting.
• An approach to literate and structured formal developments
• Gordon's computer: A hardware verification case study in OBJ3

This page was built for software: Tecton