I hereby claim:
- I am oonis on github.
- I am wittywiko (https://keybase.io/wittywiko) on keybase.
- I have a public key ASB7hqlx_MHiDwIx26wEwo4l1T4jE0_SR1XQ-jP-XyiaiAo
To claim this, I am signing this object:
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| 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. |
oonis
/ config: sVim settings.txt
Created
January 22, 2019 03:27
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| let scrollstep = 120 | |
| " Unmap defaults | |
| unmap "z i" | |
| unmap "z o" | |
| unmap "z 0" | |
| unmap "g r" | |
| " Neat shortcuts | |
| map "v" goToInput |
oonis
/ keybase.md
Created
October 3, 2018 21:07
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: