Hugging Face
Models
Datasets
Spaces
Buckets
new
Docs
Enterprise
Pricing
Website
Tasks
HuggingChat
Collections
Languages
Organizations
Community
Blog
Posts
Daily Papers
Hardware
Learn
Discord
Forum
GitHub
Solutions
Team & Enterprise
Hugging Face PRO
Enterprise Support
Inference Providers
Inference Endpoints
Storage Buckets
Log In
Sign Up
Sagicc
/
nanoGentzen
like
0
Feature Extraction
Safetensors
PyTorch
Sagicc/nanoGentzen
English
custom
nanogentzen
logic
gentzen
sequent-calculus
intuitionistic-logic
automated-theorem-proving
formal-verification
policy-value-network
custom_code
License:
mit
Model card
Files
Files and versions
xet
Community
Copy to bucket
new
main
nanoGentzen
/
example_usage.py
Commit History
Upload 14 files
ab7abc7
verified
Sagicc
commited on
about 23 hours ago
