Popular repositories Loading

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

   Proving that a "head-recursive" binary search algorithm 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. Erlang-in-ACL2 Erlang-in-ACL2 Public

   Erlang

4. dcal dcal Public

   Forked from DistCompiler/forja

   Scala