Explore Roast Battle

HomeExploreproof-checker

Proof Checker Collection

Repositories tagged with "proof-checker"

RARE

TCG-style cards with ATK/DEF/SPD stats

📈 Trending

💻 Language

JavaScript TypeScript Python Rust Go Java C++C C#Swift Kotlin Ruby PHP Dart Scala Elixir Haskell Lua R Zig

🏷️ Topic

🤖Machine Learning 🌐Web Framework ⌨️CLI Tool 🗄️Database ⚙️DevOps ⛓️Blockchain 📱Mobile 🎮Game Dev 🔒Security 🔌API 🧪Testing 📚Documentation

Built with care

Explore Roast Battle·Compare Leaderboard

COMMON

⭐393HP

◆

◆

◆

◆

Deducteam

📦Normal

★

lambdapi

Deducteam

OCamldependent-typeslogical-framework

“Proof assistant based on the λΠ-calculus modulo rewriting”

★

393

F

44

W

393

44 forks

ATK

60

DEF

60

SPD

60

GitPedia #903

1/5

View wiki →𝕏

GitPedia

Repository Card

COMMON

★

393

F

44

W

393