6 Nov
2024
6 Nov
'24
1:18 a.m.
The derivation of the double negation of ET is in line 243 of https://hub.darcs.net/olf/haskell_for_mathematicians/browse/haskell_for_logi... Then use DN on that term, as Tom Smeding suggested. Olaf