Apparently, this user prefers to keep an air of mystery about them.
1 Tool for specifying operational semantics for given formally specified programming language mar 5 '14
1 Is there good open source project that apply semantic web, modal logics, and similar technologies aug 22 '13
0 How to specify and verify Horn clauses (logic programming programs)? Semantics of Horn clauses feb 7