AllRecreational & visual mathPure mathematicsAlgorithms & data structuresProbability & game theoryInformation theory & signal processingComputability & complexity theoryLogic & formal methodsQuantum computingMath & theory (other)
Logic & formal methods
Logic and formal verification: proof assistants, Coq, Lean, TLA+, type theory and proofs, SAT solvers, model checking, program correctness, foundations of mathematics, set theory.
