Deducteam/lambdapi

GitHub

Proof assistant based on the λΠ-calculus modulo rewriting

OCaml402 stars45 forks

dependent-types logical-framework proof-assistant proof-checker proof-translator rewriting

Momentum

Deducteam/lambdapi has 402 GitHub stars.

It currently ranks #15263 daily, #16193 weekly, #19303 monthly by momentum on Trending Repos; its best-ever rank is #5326.

Rankings

PeriodRankScore

Daily

#152630.0

Weekly

#161930.0

Monthly

#193030.0

How scoring works

Engagement

Total stars

Daily new stars

Embeds

Best rank #5326

Format

Markdown

[![Deducteam/lambdapi badge](https://trending-repos.com/badge/Deducteam/lambdapi.svg?v=3)](https://trending-repos.com/repositories/Deducteam/lambdapi?utm_source=github&utm_medium=badge)

Deducteam/lambdapi

Momentum

Rankings

Engagement

Similar trending repositories

Embeds

Deducteam/lambdapi

Momentum

Rankings

Engagement

Similar trending repositories

Embeds