Lean, Isabelle, Proof assistant, Formal proof
Discover
📐 Mathematics & Statistics
Ito calculus, Brownian motion, stochastic differential equations, SDE
Bayesian Inference, Monte Carlo, Probabilistic Models, Stan
primes, modular arithmetic, analytic number theory, Diophantine
finite automata, DFA, NFA, state machine, automata theory
denotational semantics, domain theory, Scott domains, semantic models
decision theory, rational choice, expected utility, Bayesian decision
Prefix Trees, Autocomplete, String Matching, Radix Tree
Voting Theory, Collective Decisions, Arrow's Theorem, Preference Aggregation
voting theory, Arrow's theorem, collective decision, preference aggregation
boolean satisfiability, CDCL, DPLL, SMT solvers, constraint solving
Distributions, Random Variables, Expected Value, Conditional Probability
Foundations, Intuitionism, Constructivism, Mathematical Logic
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
automata theory, grammars, parsing, Chomsky hierarchy
chaos, attractors, bifurcation, nonlinear dynamics
data structures, algorithms, complexity, problem solving