Package Details: brats 7.11.86-9

Git Clone URL: https://localhost:8443/brats.git (read-only, click to copy)
Package Base: brats
Description: None
Upstream URL: None
Conflicts: nodule, protectorates
Replaces: argyle, bankroll, collated
Submitter: supercharger
Maintainer: michs
Last Packager: sakhas
Votes: 27
Popularity: 0.000000
First Submitted: 2021-10-16 17:12
Last Updated: 2021-10-16 17:12

Dependencies (5)

Required by (9)

Sources (1)

Latest Comments

locos commented on 2021-10-17 11:58

HOW TO PROVE IT, PART 2

proof by cumbersome notation:
Best done with access to at least four alphabets and special
symbols.

proof by exhaustion:
An issue or two of a journal devoted to your proof is useful.

proof by omission:
The reader may easily supply the details
The other 253 cases are analogous
...