All issues

Search results

Wish : A command for checking correctness of mappings

Status: Open.

#178 In Deducteam/hol2dk;

· agontard opened on Jul 20, 2025

Opam packages for hol2dk with all dependencies (including patched HOL-Light)

Status: Open.

#68 In Deducteam/hol2dk;

· MSoegtropIMC opened on Dec 1, 2023