this post was submitted on 13 Jul 2023
6 points (100.0% liked)
Formal Methods
166 readers
3 users here now
founded 1 year ago
MODERATORS
there doesn't seem to be anything here