Athena: A Programming Language for Proof Engineering and Natural Deductionathena-lang.org·2 pts·fastneutron·0
Wireless electrical–molecular quantum signalling for cancer cell apoptosisnature.com·2 pts·fastneutron·1
Simulation Intelligence: Towards a New Generation of Scientific Methods (2022)arxiv.org·133 pts·fastneutron·25