markusde
@markusde@mathstodon.xyz
Joined: 11/15/2022
About markusde
Human in the loop automated formal verifier
All opinions are my own
Not a professional account
Lists
markusde has no public lists
Timeline
markusde has no activity yet
@markusde@mathstodon.xyz
Joined: 11/15/2022
Human in the loop automated formal verifier
All opinions are my own
Not a professional account
markusde has no public lists
markusde has no activity yet