analysis icon indicating copy to clipboard operation
analysis copied to clipboard
verified publisher icon math-comp

Document the sub-directories of `theories`

Open affeldt-aist opened this issue 8 months ago • 0 comments

What they propose and what should be loaded to be what

affeldt-aist avatar Apr 02 '25 23:04 affeldt-aist