markusde - About
Human in the loop automated formal verifier
All opinions are my own
Not a professional account
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.
