Popular repositories Loading

1. head-equals-tail head-equals-tail Public

   Proving that a recursive binary search function is equivalent to its tail-recursive counterpart in ACL2.

   Common Lisp

2. TraceValidationProjects TraceValidationProjects Public

   Collection of TLA+ specifications that investigated properties of trace validation.

   TLA

3. forja forja Public

   Forked from DistCompiler/forja

   Scala

4. KuterBora.github.io KuterBora.github.io Public

   SCSS