Hugging Face
Models
Datasets
Spaces
Buckets
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-v2
Like
0
Feature Extraction
Safetensors
PyTorch
Sagicc/nanoGentzen-v2
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
1
Copy to bucket
Upload overview-flow.svg
#1
by
Sagicc
- opened
Sep 4
base:
refs/heads/main
←
from:
refs/pr/1
Discussion
Files changed
+167
-0
Sagicc
Owner
Sep 4
No description provided.
Upload overview-flow.svg
c640a481
Sagicc
changed pull request status to
merged
Sep 4
Edit
Preview
Upload images, audio, and videos by dragging in the text input, pasting, or
clicking here
.
Tap or paste here to upload images
Comment
·
Sign up
or
log in
to comment
