Powered by AppSignal & Oban Pro

Notesclub

Sign in with GitHub

created by hec & contributors

terms privacy

Discover Livebook notebooks (Elixir)

12469 notebooks and counting. Star us on GitHub and follow us on Bluesky and X so more people know about us.

Filter: @jcschuster/ShotTx

Johannes Schuster
@jcschuster

ShotTx

ModelAgent — external SAT witness via Nitpick[sati...

model_agent.livemd

advanced testing shot_tx kino

2026-7-14
Johannes Schuster
@jcschuster

ShotTx

Evaluation: A Structured Set of Higher-order Probl...

structured_hol_problems.livemd

advanced algorithms shot_tx kino kino_atp_client kino_shot_ds

2026-7-6
Johannes Schuster
@jcschuster

ShotTx

Debug of Tableaux - fork

lecture.livemd

advanced testing debugging shot_tx kino kino_atp_client kino_shot_ds

2026-6-19
Johannes Schuster
@jcschuster

ShotTx

ATP Development with Elixir

atp_dev_in_elixir.livemd

tutorial advanced kino_shot_ds shot_tx kino_atp_client

2026-5-19
Johannes Schuster
@jcschuster

ShotTx

Debug of Tableaux

debug.livemd

advanced debugging shot_tx kino kino_atp_client

2026-4-17