Skip to content

Instantly share code, notes, and snippets.

Avatar

Jonatan Hatakeyama Zeidler jonnius

View GitHub Profile
View proof of a line
To show: 1 <= size <= 10
size = 1 + t1 / (1 + t2/10 - c1) - c2
we add c1 and c2 because of the integer division
Assumptions:
(i) 0 <= t1 <= t2
(ii) t2 >= 0
(iii) 0 <= c1 < 1 (consequence of integer division)
(iv) 0 <= c2 < 1 (consequence of integer division)
View keybase.md

Keybase proof

I hereby claim:

  • I am jonnius on github.
  • I am jonius (https://keybase.io/jonius) on keybase.
  • I have a public key whose fingerprint is 4071 FB61 ED44 B460 3CB2 721E 71F7 AB08 9E3D E857

To claim this, I am signing this object: