jcschuster avatar

Johannes Schuster

jcschuster

Total Packages

10

Total Downloads

11 352+

johannes.c.schuster@proton.me https://jcschuster.de GitHub: jcschuster

Stats

Updated daily
shot_ds v1.3.1

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

0 20 40 60 80
3.7K Total
6 Yesterday
11 Last 7 days
atp_client v0.8.1

Elixir client for automated theorem provers via SystemOnTPTP, StarExec, Isabe...

0 20 40 60 80
1.9K Total
19 Yesterday
51 Last 7 days
shot_un v0.2.1

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

0 10 20 30 40
1.3K Total
5 Yesterday
10 Last 7 days
kino_atp_client v0.8.0

Livebook Smart Cells for AtpClient: a unified frontend over SystemOnTPTP, Sta...

0 20 40 60 80
1.2K Total
4 Yesterday
8 Last 7 days
atp_mcp v0.8.0

MCP server exposing the SystemOnTPTP, StarExec, Isabelle and LocalExec theore...

0 10 20 30 40
999 Total
9 Yesterday
64 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
616 Total
2 Yesterday
6 Last 7 days
tptp v0.3.0

A faithful, span-carrying parser, linter and printer for the TPTP language.

0 20 40 60 80
491 Total
23 Yesterday
64 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
413 Total
2 Yesterday
6 Last 7 days
shot_tx v0.1.4

Tableau component of Shot, a parallel higher-order theorem prover.

0 10 20 30 40
400 Total
9 Yesterday
17 Last 7 days
shot_to v0.2.0

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

0 5 10 15 20
346 Total
2 Yesterday
8 Last 7 days