Re:How to use `deep inference'?
Alessio Guglielmi <Alessio.Guglielmi-r/[email protected]>
| Newsgroups | gmane.science.mathematics.frogs |
|---|---|
| Message-ID | <p0602040ebca5869a429a@[141.76.34.38]> |
>I totally agree with you, my dear husband. Let's make love! -Alessio