I hereby claim:
- I am oonis on github.
- I am oonis (https://keybase.io/oonis) on keybase.
- I have a public key whose fingerprint is BC6D 398C 1D3B A2A0 102F 5E7E 162A 1309 FCB8 F889
To claim this, I am signing this object:
I hereby claim:
To claim this, I am signing this object:
let scrollstep = 120 | |
" Unmap defaults | |
unmap "z i" | |
unmap "z o" | |
unmap "z 0" | |
unmap "g r" | |
" Neat shortcuts | |
map "v" goToInput |
Require Export Coq.PArith.BinPos. | |
Inductive odd : positive -> Prop := | |
| odd_one : odd xH | |
| odd_xI : forall n : positive, odd (xI (n)). | |
Inductive even : positive -> Prop := | |
| even_xO : forall n : positive, even (xO (n)). | |
Lemma even_or_odd n : even n \/ odd n. | |
Proof. |
I hereby claim:
To claim this, I am signing this object: