fastneutron
- Karma
- 455
- Created
- 5 years ago
About
Principal R&D engineer - Deeptech, nuclear energy, scientific computing, quantum technologies, artificial intelligence.fastneutron235 -at- gmail -dot- com
Recent Submissions
- 1. ▲ Athena: A Programming Language for Proof Engineering and Natural Deduction (athena-lang.org)