Popular repositories Loading

1. why3-sat-dpll why3-sat-dpll Public

   why3 basic verified dpll sat solver (homework lmao)

   TeX

2. mitre_attack_neo4j_kg mitre_attack_neo4j_kg Public

   Proof of concept - neo4j for threat intelligence (homework lmao)

   Jupyter Notebook

3. somali somali Public

   Some very basic somali morphophonology on verbs/nouns using foma (homework)

4. fcfg fcfg Public

   Playing around with fcfg (homework)

   Jupyter Notebook

5. Encyclopedia Encyclopedia Public

   Forked from ProofSystem/Encyclopedia

   An Open Encyclopedia of Proof Systems

   TeX

6. lists-modulo-perm-rocq lists-modulo-perm-rocq Public

   porting the list - perm - merge library from https://github.com/meta-logic/abella-reasoning to coq

   Rocq Prover