Natural Language Proof Checking

proofcheck's activity

• All
• Models
• Datasets
• Spaces
• Buckets
• Papers
• Collections
• Community
• Posts
• Articles

christopherastone 

updated a dataset almost 3 years ago

proofcheck/prooflang

Viewer • Updated Jun 1, 2023 • 4.01M • 104 • 3