Joined 5/10/2020, 1:46:00 PM has 442 karma
Principal R&D engineer - Deeptech, nuclear energy, scientific computing, quantum technologies, artificial intelligence.
fastneutron235 -at- gmail -dot- com
Athena: A Programming Language for Proof Engineering and Natural Deduction