Pinned Loading

1. Neo-Principia Neo-Principia Public

   Continuation on formalizing Principia Mathematica

   Rocq Prover 22 1

2. pm-neo4j-helper pm-neo4j-helper Public

   Python script to help translating proof relation in PM to neo4j queries

   Python 7 1