new: Added PGP key
This commit is contained in:
parent
a8e5f37148
commit
e2266007eb
1 changed files with 2 additions and 0 deletions
|
@ -62,7 +62,9 @@
|
||||||
|
|
||||||
<p>I'm also pretty decent in SageMath, Haskell, Lean 4, Rust, Python, and a few other programming languages.</p>
|
<p>I'm also pretty decent in SageMath, Haskell, Lean 4, Rust, Python, and a few other programming languages.</p>
|
||||||
<a href="https://github.com/SinTan1729">You can check out my GitHub profile here.</a>
|
<a href="https://github.com/SinTan1729">You can check out my GitHub profile here.</a>
|
||||||
|
<br />
|
||||||
|
|
||||||
|
<p>My PGP key: <a href=https://keys.openpgp.org/vks/v1/by-fingerprint/B7772D9CDFAE54AE8536A390A3319D1C521C0719>A3319D1C521C0719</a></p>
|
||||||
<hr />
|
<hr />
|
||||||
<i>This page was last updated on <span id="last-modified"></span>.</i>
|
<i>This page was last updated on <span id="last-modified"></span>.</i>
|
||||||
</div>
|
</div>
|
||||||
|
|
Loading…
Reference in a new issue