this post was submitted on 13 Jul 2023
8 points (100.0% liked)
Formal Methods
177 readers
2 users here now
founded 2 years ago
MODERATORS
there doesn't seem to be anything here