I'm interested in formal verification and am working on the @stateright model checker for verifying the correctness of distributed systems.
Stars
1
result
for source starred repositories
written in Emacs Lisp
Clear filter
Emacs package to enable transclusion with Org Mode