Skeptik

परियोजना का अवलोकन

Skeptik is an open-source Scala library for structural proof compression, resolution proof transformation, and formal logic optimization.

प्रमुख वास्तुकला और विशेषताएं

• ✓Resolution Proof Compression
• ✓Structural Logic Transformation
• ✓Command Line & API Tools
• ✓Academic Formal Verification Suite

उपयोग की गई तकनीकें

शामिल हों

क्या आप इस परियोजना के लिए कोड योगदान करने, समस्याओं को ठीक करने या छात्रों को मेंटर करने में रुचि रखते हैं?