aeneas icon indicating copy to clipboard operation
aeneas copied to clipboard

Published 20 hours ago • verified publisher icon AeneasVerif

Fix the HOL4 backend and reactivate the HOL4 tests

Open sonmarcho opened this issue 1 year ago • 0 comments
trafficstars

sonmarcho avatar Dec 20 '23 14:12 sonmarcho