primes, modular arithmetic, analytic number theory, Diophantine
Discover
📐 Mathematics & Statistics
finite automata, DFA, NFA, state machine, automata theory
Prefix Trees, Autocomplete, String Matching, Radix Tree
Lean, Isabelle, Proof assistant, Formal proof
Voting Theory, Collective Decisions, Arrow's Theorem, Preference Aggregation
voting theory, Arrow's theorem, collective decision, preference aggregation
Model Theory, Proof Theory, Completeness, Decidability
Formal Systems, Deduction, Boolean Logic, Mathematical Reasoning
Resource Awareness, Session Types, Proof Nets, Substructural Logic
lean4, lean theorem prover, mathlib, formal proof
denotational semantics, domain theory, Scott domains, semantic models
expected utility, game theory, rational choice, risk analysis
Coq proof assistant, formal verification, theorem proving, dependent types
Algorithms, LeetCode, ICPC, Problem Solving
OEIS, generating functions, enumerative
Causality, Confounding Variables, Treatment Effects, Randomization
ADTs, sum types, product types, pattern matching, discriminated unions
agda, dependent types, proof assistant, Martin-Löf
static analysis, program semantics, lattice theory, dataflow analysis