jcschuster avatar

jcschuster

Total Packages

8

Total Downloads

2 387+

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 20 40 60 80
1.1K Total
2 Yesterday
36 Last 7 days
atp_client v0.2.1

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

0 5 10 15 20
315 Total
19 Yesterday
21 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
267 Total
0 Yesterday
0 Last 7 days
shot_un v0.1.6

Higher-order pre-unification, Miller pattern unification, and second-order ma...

0 5 10 15 20
245 Total
19 Yesterday
25 Last 7 days
kino_atp_client v0.1.4

Provides a Smart Cell for querying external provers on SystemOnTPTP.

0 5 10 15 20
181 Total
0 Yesterday
7 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
130 Total
0 Yesterday
4 Last 7 days
atp_mcp v0.1.1

MCP server exposing SystemOnTPTP theorem provers to Claude Code

0 10 20 30 40
87 Total
2 Yesterday
4 Last 7 days
shot_to v0.1.0

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

0 5 10 15 20
44 Total
0 Yesterday
3 Last 7 days