nanoGentzen - a Sagicc Collection

Sagicc 's Collections

Whisper Serbian

nanoGentzen

updated about 19 hours ago

Test for Genzen calculus in LLM logic verification.

Sagicc/nanoGentzen

Feature Extraction • 4.86M • Updated about 4 hours ago • 34
Sagicc/nanoGentzen

Viewer • Updated about 7 hours ago • 200k • 18
Running on Zero

Agents

nanoGentzen Neurosymbolic Studio

🧠

Verify logical sequents and receive formal proof trees