This is stars and forks stats for /JUrban/hol-advisor repository. As of 02 May, 2024 this repository has 1 stars and 1 forks.
Using hol-advisor (HOL(y)Hammer) in Emacs Install the advisor Emacs code: cd $HOME git clone https://github.com/JUrban/hol-advisor.git cat hol-advisor/.emacs >> .emacs In Emacs, set up your server by pressing M-: and then pasting into the minibuffer: (customize-save-variable 'hol-advisor-server "mizar.cs.ualberta.ca") Then customize the project (change "Emf199" to your project - it has to be uploaded to the server before), again by pressing M-: and pasting: (customize-save-variable 'hol-current-project...
Using hol-advisor (HOL(y)Hammer) in Emacs Install the advisor Emacs code: cd $HOME git clone https://github.com/JUrban/hol-advisor.git cat hol-advisor/.emacs >> .emacs In Emacs, set up your server by pressing M-: and then pasting into the minibuffer: (customize-save-variable 'hol-advisor-server "mizar.cs.ualberta.ca") Then customize the project (change "Emf199" to your project - it has to be uploaded to the server before), again by pressing M-: and pasting: (customize-save-variable 'hol-current-project...
repo | techs | stars | weekly | forks | weekly |
---|---|---|---|---|---|
mit-plv/bedrock2 | CoqVerilogMakefile | 251 | 0 | 52 | 0 |
McCLIM/McCLIM | Common LispEmacs LispNewLisp | 577 | 0 | 120 | 0 |
ralt/account-calculation | Common Lisp | 0 | 0 | 0 | 0 |
etu/nixconfig | NixEmacs LispShell | 79 | 0 | 11 | 0 |
samrawal/gpt-emacs-macro | Emacs LispPython | 43 | 0 | 2 | 0 |
emacs-straight/vertico | Emacs Lisp | 4 | 0 | 0 | 0 |
openscad/emacs-scad-mode | Emacs Lisp | 20 | 0 | 1 | 0 |
tonyaldon/jack | Emacs Lisp | 22 | 0 | 1 | 0 |
Bhoos/smartbots-2023-starter-code | RustC++Common Lisp | 14 | 0 | 28 | 0 |
commercial-emacs/xlsp | Emacs LispOther | 33 | 0 | 1 | 0 |