Skip to content

contra tactic and helper lemmas (in boolp.v) #1027

contra tactic and helper lemmas (in boolp.v)

contra tactic and helper lemmas (in boolp.v) #1027

The logs for this run have expired and are no longer available.