Projects in Awesome Lists tagged with hol2dk
A curated list of projects in awesome lists tagged with hol2dk .
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
