jcschuster avatar

jcschuster

Total Packages

8

Total Downloads

1 934+

johannes.c.schuster@proton.me
Packages Stats

Stats

Updated daily
shot_ds v1.2.3

Data structures for various HOL objects and TH0/1 parser.

0 10 20 30 40
969 Total
16 Yesterday
129 Last 7 days
atp_client v0.2.0

Elixir client for automated theorem provers via SystemOnTPTP, StarExec, and I...

0 10 20 30 40
248 Total
7 Yesterday
13 Last 7 days
behold v1.1.3

An extention of the package HOL implementing the syntax of classical higher-o...

0 5 10 15 20
242 Total
0 Yesterday
2 Last 7 days
shot_un v0.1.4

Implements an algorithm for higher-order pre-unification.

0 5 10 15 20
175 Total
2 Yesterday
26 Last 7 days
kino_atp_client v0.1.4

Provides a Smart Cell for querying external provers on SystemOnTPTP.

0 5 10 15 20
141 Total
0 Yesterday
8 Last 7 days
kino_shot_ds v0.1.3

Provides a Smart Cell for parsing TPTP Syntax into ShotDs data structures.

0 5 10 15 20
84 Total
8 Yesterday
20 Last 7 days
atp_mcp v0.1.1

MCP server exposing SystemOnTPTP theorem provers to Claude Code

0 10 20 30 40
49 Total
49 Yesterday
49 Last 7 days
shot_to v0.1.0

An Elixir implementation of NCPO-LNF (the βη-long-normal Computability Path...

0 5 10 15 20
26 Total
10 Yesterday
26 Last 7 days