Dark Hacker News
new
|
best
|
ask
|
show
|
jobs
jnpnj | Dark Hacker News
user:
jnpnj
created:
February 1, 2023
karma:
136
about:
lisp, forth, smalltalk, fp, lp fan with a dose of math envy
https://github.com/jnpn
https://registry.jsonresume.org/jnpn?theme=elegant
submissions
comments
1.
Prolog for Verification, Analysis and Transformation Tools Michael Leuschel [pdf]
(arxiv.org)
1 points
by
jnpnj
12 days ago
|
0 comments