Coq proof assistant, formal verification, theorem proving, dependent types
Discover
📐 Mathematics & Statistics
OEIS, generating functions, enumerative
Causality, Confounding Variables, Treatment Effects, Randomization
Finite State Machines, Turing Machines, Regular Languages, Computability
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
typeface, font, type design, typographic hierarchy
type theory
topological spaces, manifolds, homology, continuous maps
String Matching, Text Processing, Linear Construction, Pattern Recognition
String Algorithms, Pattern Matching, Text Indexing, Burrows-Wheeler
Space-Efficient Algorithms, Rank-Select, Wavelet Trees, Compressed Indices
data streams, online sketching, frequency estimation, reservoir sampling
random processes, Markov chains, Wiener process, stochastic calculus
Bayesian Methods, Hypothesis Testing, Causal Inference, Probabilistic Models
Regression, Classification, Model Selection, Cross-Validation
Information Bounds, Optimal Coding, Channel Capacity, Compression Limits