Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Accepted Projects
- Recently synced
- Ranking

https://github.com/Deducteam/lambdapi

Proof assistant based on the λΠ-calculus modulo rewriting

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

Last synced: 30 May 2024