Projects in Awesome Lists tagged with lambdapi
A curated list of projects in awesome lists tagged with lambdapi .
https://github.com/deducteam/hol2dk
HOL-Light to Dedukti/Lambdapi translator
coq dedukti hol-light lambdapi proof translation
Last synced: 16 Jun 2025
https://github.com/deducteam/opam-lambdapi-repository
Opam repository of Lambdapi libraries
Last synced: 19 May 2026
https://github.com/deducteam/coq-hol-light-logic1
Translation in Rocq of HOL-Light's Logic library until unify using hol2dk
hol-light hol2dk lambdapi rocq-prover
Last synced: 15 Sep 2025