this post was submitted on 17 Jun 2024
9 points (100.0% liked)
Formal Methods
165 readers
3 users here now
founded 1 year ago
MODERATORS
there doesn't seem to be anything here