Package Details: tuber 1.9-10

Git Clone URL: https://aur-dev.archlinux.org/tuber.git (read-only, click to copy)
Package Base: tuber
Description: None
Upstream URL: None
Conflicts: devouter, superchargers
Provides: compensate, confiders, lionel, meals
Replaces: organelle, regretfully, versifications
Submitter: oking
Maintainer: counterpoints
Last Packager: sabre
Votes: 42
Popularity: 0.000000
First Submitted: 2021-06-20 12:44
Last Updated: 2021-06-20 12:44

Dependencies (9)

Required by (16)

Sources (1)

Latest Comments

decelerated commented on 2021-06-22 06:14

"The Soviet Union, which has complained recently about alleged anti-Soviet
themes in American advertising, lodged an official protest this week against
the Ford Motor Companys new campaign: `Hey you stinking fat Russian, get
off my Ford Escort."
-- Dennis Miller, Saturday Night Live

scamps commented on 2021-06-21 16:56

HOW TO PROVE IT, PART 4

proof by personal communication:
Eight-dimensional colored cycle stripping is NP-complete
[Karp, personal communication].

proof by reduction to the wrong problem:
To see that infinite-dimensional colored cycle stripping is
decidable, we reduce it to the halting problem.

proof by reference to inaccessible literature:
The author cites a simple corollary of a theorem to be found
in a privately circulated memoir of the Slovenian
Philological Society, 1883.

proof by importance:
A large body of useful consequences all follow from the
proposition in question.