This is stars and forks stats for /liamoc/holbert repository. As of 29 Apr, 2024 this repository has 158 stars and 5 forks.
Holbert Holbert is an interactive theorem prover, or proof assistant, based on higher order logic and natural deduction. Furthermore, Holbert is graphical. It presents proofs and rules using conventional inference rule notation and proof trees. It is designed to be used by students, without any expertise on using a theorem prover. It does not feature proof scripts (in the traditional sense), tactics, or other such complications. You can try Holbert out by trying the live demo here (this version...
Holbert Holbert is an interactive theorem prover, or proof assistant, based on higher order logic and natural deduction. Furthermore, Holbert is graphical. It presents proofs and rules using conventional inference rule notation and proof trees. It is designed to be used by students, without any expertise on using a theorem prover. It does not feature proof scripts (in the traditional sense), tactics, or other such complications. You can try Holbert out by trying the live demo here (this version...
repo | techs | stars | weekly | forks | weekly |
---|---|---|---|---|---|
flipstone/kioku | HaskellShell | 10 | 0 | 2 | 0 |
lucasvreis/org-parser | HaskellHTMLTeX | 16 | 0 | 3 | 0 |
eladrich/pixel2style2pixel | Jupyter NotebookPythonOther | 3k | +3 | 552 | 0 |
GetStream/stream-chat-android | KotlinMDXJava | 1.3k | 0 | 241 | +1 |
michael-brade/LaTeX.js | LiveScriptCSSPEG.js | 663 | +2 | 51 | 0 |
NextCitizens/ncs_core | LuaTypeScriptOther | 103 | 0 | 38 | 0 |
tetratelabs/istio-api | MakefileShellGo | 1 | 0 | 0 | 0 |
cserl-iitb/bootcamp2022 | CMakefileC++ | 37 | 0 | 71 | 0 |
mcauser/awesome-micropython | HTMLMakefile | 1k | 0 | 143 | 0 |
art-w/unicorn | OCamlHTML | 65 | 0 | 1 | 0 |