Popular repositories Loading

1. Core-Erlang-Formalization Core-Erlang-Formalization Public

   Rocq Prover 12 1

2. AML-Formalization AML-Formalization Public

   Rocq Prover 11 5

3. EquivcheckEr EquivcheckEr Public

   Equivalence checking of refactorings for Erlang

   Erlang 3 1

4. erlang-semantics erlang-semantics Public

   Executable formal semantics for a subset of the Erlang programming language defined in the K Framework

   Erlang 2 1

5. FOL-in-ML FOL-in-ML Public

   Embedding FOL into Matching Logic

   Coq 1

6. deep-learning-based-erlang-refactoring deep-learning-based-erlang-refactoring Public

   Jupyter Notebook 1