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

Tools should report config files' location

Open mn200 opened this issue 2 years ago • 0 comments

See motivation at: https://utcc.utoronto.ca/~cks/space/blog/sysadmin/ReportConfigFileLocations

mn200 avatar Aug 25 '23 05:08 mn200