Slothrop

(★ 8)

Slothrop is an automated equational theorem prover that performs a variant of Knuth-Bendix completion.

Slothrop Latest Version Download

Download Latest Version (.zip)

Today's picks

unsloth ★ 72,472

Local UI to run and train LLMs and diffusion models, including Qwen3.8, Kimi K3, MiniMax-H

Python
Scrapling ★ 74,546

🕷️ An adaptive Web Scraping framework that handles everything from a single request to a f

Python
OpenHands ★ 84,214

🙌 OpenHands: AI-Driven Development

TypeScript
awesome-vue ★ 73,543

🎉 A curated list of awesome things related to Vue.js
ohmyzsh ★ 189,228

🙃 A delightful community-driven (with 2,500+ contributors) framework for managing your z

Shell
DeepSeek-R1 ★ 92,027

No description provided.
// repository documentation