☰
💗
@Web
markusde@mathstodon.xyz
lade...
markusde - About
markusde@mathstodon.xyz
Human in the loop automated formal verifier All opinions are my own Not a professional account
markusde@mathstodon.xyz
markusde@mathstodon.xyz
To add contact info data to your profile here, you must add a link to a
hcard
to your webfinger. One example how you can do this is to
join Webfan
and
join Fediverse City
.
Nutzungsbedingungen
Datenschutzerklärung
Impressum
Webfan
|
@Web pages
|
Fediverse Members