Tag: Theorem proving

Agda: Playing With NegationAgda: Playing With Negation