inversion tactic

Technique

First seen 6/7/2026

Last seen 6/7/2026

Evidence 3 chunks

NEIGHBORHOOD

No graph connections found for this entity yet. It may appear in future ingestion runs.

2 connections

The paper uses automated inversion tactics in the theorem prover

operational semantics implements → 85% 1e

Inversion tactics are used to analyze operational semantics hypotheses