Mike Chlipala mikesea
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
| ### Keybase proof | |
| I hereby claim: | |
| * I am mikesea on github. | |
| * I am mikec (https://keybase.io/mikec) on keybase. | |
| * I have a public key whose fingerprint is 2C4A DC67 30AB 3D41 F41F 8182 A735 F17B 829C D927 | |
| To claim this, I am signing this object: |
NewerOlder