Models
Datasets
Spaces
Buckets
Docs
Enterprise
Pricing
- Website
- Community
- Solutions
Log In
Sign Up

Sagicc
/

nanoGentzen

Feature Extraction

sequent-calculus

intuitionistic-logic

automated-theorem-proving

formal-verification

policy-value-network

Model card Files Files and versions

nanoGentzen / kernel.py

Commit History

Aug 22

23:45
Upload 14 files

Sagicc

Verified signature
ab7abc7