Tag: Theorem Proving

Agda: Playing With NegationAgda: Playing With Negation