José A. Alonso
10
Followers
0
Following
3,524
Notes
0
# Zaps
Joined
8/26/2023
Last Active
8 days ago
NIP-05
Verified
Lightning
Not Setup
29
New
🎯ProfilestrDeveloping
49/100📊VertexBuilding Trust
bottom 50%🌐RelatrLow Trust
0.25About
Mathematician interested in the study and teaching of computational logic, functional programming (Haskell) and interactive theorem proving (Lean, Isabelle/HOL).
Activity
Replies4
Media Posts619
Total Sats Zapped⚡ 0
Details
Public Key (npub)
npub1pmahhjgr7nr8zmx56purp56y6747tds859tdu0x7rtq6t0ez4cwqfnv8pw
Hex Key
0efb7bc903f4c6716cd4d07830d344d7abe5b607a156de3cde1ac1a5bf22ae1c
Discover More Profiles
Bitmax
56
Followers
64
Notes
5
# Zaps
Public Key
npub1ajxt9d5nae2576jq6zetmw409vu426lywtegslrvzu4smlks9twsdwwtpdLast Active5d ago
Jonas
@Jonas🧩 - Autista
[email protected]
Python developer & Autistic. 🇧🇷🇺🇸 Autista com hiperfoco em programação
197
Followers
151
Notes
0
# Zaps
Public Key
npub1mmj0s82zwym5qprzy20pazvyj6wewcqc7p5mufz6qvqu3eu0dcrq8l2vnaLast Active18d ago
BtcBadger
@BtcBadger
[email protected]
Bitcoin fixes it.
7
Followers
10
Notes
0
# Zaps
Public Key
npub12v2fmxjcg6x4me79xa0mvp7sy5h585xczua0yq7zdep353v3qefs9rl3vlLast Active25d ago