- Hi, I’m @leinfink. 🐦
- My profile picture is by Jyrki Salmi from Finland, CC BY-SA 2.0, via Wikimedia Commons. It shows a Leinfink.
- Trans Rights Now! 🏳️⚧️
Block or Report
Block or report leinfink
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePinned
-
-
-
logicky-lisp
logicky-lisp PublicCommon Lisp port of Logicky. Evaluate and prove arguments in different formal logics.
Common Lisp
-
-
org-show-ledes
org-show-ledes PublicOrg mode folding tool to show first paragraphs and hide the rest.
Emacs Lisp 1
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.