Dark Hacker News
new
|
best
|
ask
|
show
|
jobs
fastneutron | Dark Hacker News
user:
fastneutron
created:
May 10, 2020
karma:
455
about:
Principal R&D engineer - Deeptech, nuclear energy, scientific computing, quantum technologies, artificial intelligence.
fastneutron235 -at- gmail -dot- com
submissions
comments
1.
Athena: A Programming Language for Proof Engineering and Natural Deduction
(athena-lang.org)
2 points
by
fastneutron
1 year ago
|
0 comments