⚛️

Physics

Simulations, data fitting, unit conversion, constants

@robert-janssen

Complex mathematical calculations, physics simulations, unit conversions, scientific queries

@flyingnobita

Verify and write formal proofs using the Acorn theorem prover

@killgfat

CLI tools for fetching and managing arXiv papers in physics, math, and CS domains