Giters
Tobias Scholl (TobiasScholl)

TobiasScholl

Geek Repo

4

followers

8

following

7

stars

Github PK Tool:Github PK Tool

Organizations
leoprover

Tobias Scholl's repositories

TPTP-ANTLR4-Grammar

Language:HTMLLicense:BSD-3-ClauseStargazers:3Issues:3Issues:1

QMLTP

Language:OpenEdge ABLStargazers:1Issues:3Issues:0

embed_modal

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

Language:PythonLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

tptp

TPTP python library and benchmarking service

Language:PythonLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

TPTP_Editor

Language:JavaScriptLicense:BSD-3-ClauseStargazers:0Issues:2Issues:0

WYSIWY-Editor-for-THF

Language:JavaStargazers:0Issues:4Issues:2