Popular repositories Loading

1. LogicalDistillationOfGNNs LogicalDistillationOfGNNs Public

   Jupyter Notebook 2 1

2. Learning-to-Logically-Explain-GNNs Learning-to-Logically-Explain-GNNs Public

   Python 1

3. Computer-Aided-Verification-UE Computer-Aided-Verification-UE Public

   Python 1

4. lexpk lexpk Public

   Config files for my GitHub profile.

5. Proofs-as-Programs-in-Classical-Logic Proofs-as-Programs-in-Classical-Logic Public

   Repository containing material related to my master's thesis.

   TeX

6. vampire vampire Public

   Forked from vprover/vampire

   The Vampire Theorem Prover

   C++