ericphanson / CombinatoricsNotesLinks
Notes from Math 550 at McGill University, from Winter 2016, taught by Prof. Sergey Norin.
☆14Updated 6 years ago
Alternatives and similar repositories for CombinatoricsNotes
Users that are interested in CombinatoricsNotes are comparing it to the libraries listed below
Sorting:
- Modification to Coq to record intermediate proof states encountered during a proof☆8Updated 6 years ago
- SRI Group Website☆10Updated last week
- Credici: Credal Inference for Causal Inference☆16Updated 2 months ago
- ☆10Updated last year
- Polynomial semantics of linear logic☆13Updated 7 years ago
- Automated theorem prover for a linear logic-based calculus for molecular biology.☆12Updated 2 years ago
- Parallel Computing (B-KUL-H03F9A)☆9Updated 10 years ago
- ☆13Updated 3 years ago
- Efficient, high-level dynamic programming☆27Updated 2 years ago
- ☆24Updated last year
- Julia package for learning cellular sheaf Laplacians☆16Updated 4 years ago
- The Universal Algebra Calculator☆14Updated 3 years ago
- Applied Combinatorics by Mitchel T. Keller and William T. Trotter☆29Updated this week
- Unassorted scribbles on formal methods, type theory, category theory, and so on, and so on☆22Updated last year
- ☆41Updated 2 months ago
- An embedded DSL for creating, composing, and using probability measures.☆40Updated 5 years ago
- ACT community resources☆21Updated 5 years ago
- ☆10Updated 5 years ago
- Library for computations over abstract algebraic structures such as finite fields and polynomial rings.☆7Updated 8 months ago
- Notes on determinants and other concrete algebra (PRIMES 2015 reading project: problems and solutions)☆16Updated 2 years ago
- Code snippets accompanying the talk "Automatic Differentiation in Haskell."☆19Updated 5 years ago
- CAP project -- Categories, Algorithms, and Programming☆28Updated this week
- repository for material for Jan-Mar 2023 course on formalising mathematics☆48Updated last year
- Probabilistic Programming (Scottish Programming Languages and Verification Summer School 2019)☆10Updated 5 years ago
- 🎲 A Kotlin DSL for probabilistic programming.☆12Updated 3 years ago
- A web page with resources for teaching with formal methods and tools.☆14Updated 2 years ago
- Coq formalization of decision procedures for regular expression equivalence [maintainer=@anton-trunov]☆13Updated 11 months ago
- ☆9Updated 2 years ago
- A Coq library for reasoning (co)inductively on infinite sequences using LTL-like modal operators☆17Updated 2 years ago
- Bonn Lean course for winter 24/25☆31Updated 6 months ago