HOL icon indicating copy to clipboard operation
HOL copied to clipboard
verified publisher icon HOL-Theorem-Prover

Port HOL Light's bitmatch to HOL4

Open acjf3 opened this issue 1 year ago • 1 comments

HOL Light has a very nice library called bitmatch.

It would be great if it could be ported to HOL4.

acjf3 avatar Oct 30 '24 16:10 acjf3

hey, I wrote that :smile:

digama0 avatar Nov 11 '24 07:11 digama0