bojanczyk / slajdomat
A program for making zooming slides in figma.
☆34Updated last month
Alternatives and similar repositories for slajdomat
Users that are interested in slajdomat are comparing it to the libraries listed below
Sorting:
- Notes on how to use the internal language of toposes in algebraic geometry☆57Updated last week
- Very controlled natural language tactics for Lean☆63Updated last year
- Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2021 edition☆50Updated 3 years ago
- Mirror of ocaml-forester☆44Updated 10 months ago
- ☆69Updated this week
- Graph Theory [maintainers=@chdoc,@damien-pous]☆35Updated last week
- Logic and Mechanized Reasoning☆101Updated 3 months ago
- Mathport is a tool for porting Lean3 projects to Lean4☆44Updated 5 months ago
- Coq development for the course "Mechanized semantics", Collège de France, 2019-2020☆66Updated last year
- Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintaine…☆75Updated 3 months ago
- CoDi: Commutative Diagrams for TeX☆31Updated last year
- Markdown file of the list and explanations of all mathlib4 tactics☆40Updated last year
- A project of short tutorials and how-to guides for Coq features and Coq Platform packages.☆20Updated 2 weeks ago
- Alexander Grothendieck's 1972 talk at CERN, on scientific research☆57Updated 7 months ago
- tool for turning Lean proofs into Blender animations☆66Updated last week
- ☆31Updated last year
- Course website for Math 721: Homotopy Type Theory, taught at Johns Hopkins in Fall 2021☆47Updated 3 years ago
- Lean for the Curious Mathematician 2020☆66Updated last year
- Lean 4 kernel / 'external checker' written in Lean 4☆102Updated 3 months ago
- A (WIP) equality saturation tactic for Lean based on egg.☆60Updated last week
- LaTeX code for a paper on lean's type theory☆132Updated 2 years ago
- Natural language tactics to teach mathematics using Lean 4☆74Updated this week
- A (formalised) general definition of type theories☆57Updated 3 years ago
- Implementation of higher-order logic in Python☆65Updated 2 years ago
- Generate HTML documentation for mathlib and Lean☆21Updated 7 months ago
- Experiments with SAT solvers with proofs in Lean 4☆57Updated 10 months ago
- Synthetic geometry. Probably mostly algebraic geometry.☆24Updated last year
- A Lean file formatter☆67Updated 2 years ago
- BibTeX bibliographies for proof engineering-related papers☆30Updated 5 years ago
- LeanInk is a command line helper tool for Alectryon which aims to ease the integration of Lean 4.☆61Updated 9 months ago