this post was submitted on 25 Dec 2023
7 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