Popular repositories Loading

1. TPTP-ANTLR4-Grammar TPTP-ANTLR4-Grammar Public

   HTML 4 4

2. QMLTP QMLTP Public

   OpenEdge ABL 1 1

3. WYSIWY-Editor-for-THF WYSIWY-Editor-for-THF Public

   Java

4. TPTP_Editor TPTP_Editor Public

   JavaScript

5. embed_modal embed_modal Public

   Forked from leoprover/embed_modal

   A tool for translating higher-order modal logic problems into classical higher-order logic

   Python

6. tptp tptp Public

   Forked from leoprover/tptp

   TPTP python library and benchmarking service

   Python