Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists by Deducteam
A curated list of projects in awesome lists by Deducteam .
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: 04 Aug 2024
https://github.com/deducteam/hol2dk
HOL-Light to Dedukti/Lambdapi translator
coq dedukti hol-light lambdapi proof translation
Last synced: 27 Sep 2024