Sagicc/nanoGentzen-v2
Feature Extraction • 4.86M • Updated • 31
nanoGentzen
Test for Genzen calculus in LLM logic verification.
Test for Genzen calculus in LLM logic verification.
Verify logical sequents and get AI-powered proof explanations