Explore Roast Battle

HomeExplorenatural-logic

Natural Logic Collection

Repositories tagged with "natural-logic"

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

⭐121HP

◆

◆

◆

◆

kovvalsky

📦Normal

★

LangPro

kovvalsky

Prologformal-semanticslambda-logical-form

“Tableau-based Theorem Prover for Natural Logic and Language”

★

121

F

13

W

121

13 forks

ATK

60

DEF

60

SPD

60

GitPedia #350

1/5

View wiki →𝕏

GitPedia

Repository Card

COMMON

★

121

F

13

W

121