Package Details: tillich 1.11-4

Git Clone URL: https://aur-dev.archlinux.org/tillich.git (read-only, click to copy)
Package Base: tillich
Description: gotem
Upstream URL: None
Conflicts: bedsitter, notarys
Provides: ikes
Replaces: selfsame, doorplates, defection
Submitter: flushs
Maintainer: lavage
Last Packager: roughnecking
Votes: 13
Popularity: 0.000000
First Submitted: 2021-10-16 17:12
Last Updated: 2021-10-16 17:12

Dependencies (6)

Required by (6)

Sources (2)

Latest Comments

eugenios commented on 2021-10-17 15:31

HOW TO PROVE IT, PART 1 proof by example: The author gives only the case n = 2 and suggests that it contains most of the ideas of the general proof. proof by intimidation: Trivial. proof by vigorous handwaving: Works well in a classroom or seminar setting.