🎯
Sanskrit
Common Lisp programmer and HOL proof engineer
-
Australian National University
- Canberra, Australia
- https://www.linkedin.com/in/binghelisp/
- @binghe_lisp
- binghe.lisp
Highlights
- Pro
Pinned Loading
-
-
fm-plugin-tools
fm-plugin-tools PublicA toolkit for FileMaker plug-in developments in Common Lisp
-
Acrobat-Actions
Acrobat-Actions PublicActions, Commands and Plug-ins for Adobe® Acrobat® Pro
-
axiom-code
axiom-code PublicForked from daly/axiom
Axiom is a free, open source computer algebra system
PostScript 2
-
HOL
HOL PublicForked from HOL-Theorem-Prover/HOL
Forked sources for HOL4 theorem-proving system (no cv_compute)
-
opentheory
opentheory PublicForked from gilith/opentheory
The opentheory tool processes higher order logic theory packages
Standard ML 2
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.