Pinned Loading

1. FPOP FPOP Public

   Family Polymorphism for a proof assistant, an artifact. Paper : https://dl.acm.org/doi/10.1145/3591286

   Coq 5 2

2. fo-mKanren-to-LF fo-mKanren-to-LF Public

   Forked from gregr/first-order-miniKanren

   Defunctionalized miniKanren with Universal Quantifier and Implication. Preprint: https://www.cs.toronto.edu/~lczhang/jin_universal2021.pdf

   Racket 2

3. ParaCDCL ParaCDCL Public

   Parametric CDCL Algorithm in Coq

   Coq