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

Document theorem attributes

Open mn200 opened this issue 9 years ago • 0 comments

How do you learn what attributes are out there, and what they're for?

Want to back this issue? Post a bounty on it! We accept bounties via Bountysource.

mn200 avatar Aug 04 '16 10:08 mn200