Popular repositories Loading

1. NyPad NyPad Public

   Learning Tool for Propositional Logic

   Objective-C 2

2. NyTermsHub NyTermsHub Public

   Naya with Predicates, Functions and Equality

   Swift 2

3. CYices CYices Public

   Swift System Module to link against yices library.

   Swift 1

4. Term-Indexing Term-Indexing Public

   Term Indexing (master seminar paper)

   TeX 1

5. Nyaya-Mth Nyaya-Mth Public

   References

   TeX 1

6. CTptpParsing CTptpParsing Public

   C data structures and functions, flex and yacc files for tptp problem file parsing

   C 1