Skeptik

Project Overview

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

Key Architecture & Features

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

Technologies Used

Get Involved

Interested in contributing code, fixing issues, or mentoring students for this project?