Lean, Isabelle, Proof assistant, Formal proof
Discover
๐ Mathematics & Statistics
Ito calculus, Brownian motion, stochastic differential equations, SDE
primes, modular arithmetic, analytic number theory, Diophantine
Resource Awareness, Session Types, Proof Nets, Substructural Logic
lean4, lean theorem prover, mathlib, formal proof
data structures, algorithms, leetcode, complexity analysis
type theory, type inference, Hindley-Milner, dependent types
Prefix Trees, Autocomplete, String Matching, Radix Tree
Bayesian Inference, Monte Carlo, Probabilistic Models, Stan
Formal Systems, Deduction, Boolean Logic, Mathematical Reasoning
algorithmic information theory, minimum description length, incompressibility
finite automata, DFA, NFA, state machine, automata theory
econometrics, causal inference, regression, economic modeling
denotational semantics, domain theory, Scott domains, semantic models
decision theory, rational choice, expected utility, Bayesian decision
computer science research, arXiv, academic papers, ACM
causality, randomized trials, confounding, observational studies
type theory
suffix array, suffix tree, BWT, string indexing
Voting Theory, Collective Decisions, Arrow's Theorem, Preference Aggregation