andrejbauer / social-distancing-simulatorLinks
An artificial simulation of social distancing in the time of an epidemic.
☆29Updated 5 years ago
Alternatives and similar repositories for social-distancing-simulator
Users that are interested in social-distancing-simulator are comparing it to the libraries listed below
Sorting:
- Synthetic Topology in Homotopy Type Theory for probabilstic programming☆12Updated 7 years ago
- Tutorial series introducing Agda to the people at BCAM☆26Updated 3 years ago
- Andrej Bauer's blog "Mathematics and Computation"☆52Updated last year
- Probabilistic Programming (Scottish Programming Languages and Verification Summer School 2019)☆10Updated 5 years ago
- Agda formalisation of dual-context constructive modal logics.☆20Updated 5 years ago
- Repository where I'll collect some demos of proof assistants that I show to various people in order to spread the magic☆38Updated 2 years ago
- Schemes in Lean (v2)☆43Updated 4 years ago
- PhD course on Functional Programming and Climate Impact Research☆50Updated 7 months ago
- ☆23Updated 3 years ago
- Linear Algebra of Programming - Algebraic Matrices in Haskell☆84Updated last month
- A complete proof in Agda of the Church-Rosser theorem for untyped λ-calculus formalizing the methods by Komori-Matsuda-Yamakawa (2014) an…☆27Updated 2 years ago
- Mathematical stories☆13Updated 4 years ago
- Very controlled natural language tactics for Lean☆64Updated last year
- Coq library and tactic for deciding Kleene algebras [maintainer=@tchajed]☆23Updated 8 months ago
- Automated Reasoning for the Working Mathematician☆11Updated 5 years ago
- A toolkit for higher-dimensional diagram rewriting.☆17Updated 2 years ago
- Course notes for Pure Mathematics Topic D 2019☆53Updated 5 years ago
- Unassorted scribbles on formal methods, type theory, category theory, and so on, and so on☆22Updated last year
- A new language for optimization☆13Updated 4 years ago
- ☆11Updated 7 years ago
- Type theory in type theory☆16Updated 13 years ago
- Some tools for provability logic☆37Updated 7 years ago
- DeepAlgebra☆25Updated 7 years ago
- multilingual dictionary of mathematical terminology☆19Updated this week
- Monadic Constraint Programming framework☆28Updated 7 years ago
- ☆48Updated last year
- Coq library for serialization to S-expressions☆19Updated last year
- Cohesive type theory☆19Updated 3 years ago
- Certified Machine Learning☆41Updated 4 years ago
- ☆10Updated 5 years ago