bojanczyk / slajdomatLinks
A program for making zooming slides in figma.
☆38Updated 3 months ago
Alternatives and similar repositories for slajdomat
Users that are interested in slajdomat are comparing it to the libraries listed below
Sorting:
- Very controlled natural language tactics for Lean☆64Updated last year
- Categorical Logic Notes☆80Updated 3 years ago
- A library of mechanised undecidability proofs in the Coq proof assistant.☆123Updated last month
- Mirror of ocaml-forester☆45Updated last year
- Logic and Mechanized Reasoning☆105Updated 3 months ago
- Notes on how to use the internal language of toposes in algebraic geometry☆59Updated 3 weeks ago
- My mathematical Zettelkasten, created using forester. Moved to sourcehut.☆87Updated 4 months ago
- A formal proof of the independence of the continuum hypothesis☆133Updated last year
- Course website for Math 721: Homotopy Type Theory, taught at Johns Hopkins in Fall 2021☆48Updated 3 years ago
- A monadic library for symbolic evaluation☆69Updated 3 months ago
- ☆32Updated 2 years ago
- Build dependency graphs between Coq objects [maintainers=@Karmaki,@ybertot]☆93Updated last month
- 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
- A project of short tutorials and how-to guides for Coq features and Coq Platform packages.☆23Updated 2 months ago
- A collection of tools for writing technical documents that mix Coq code and prose.☆275Updated last month
- A (formalised) general definition of type theories☆57Updated 4 years ago
- Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/Imp…☆121Updated last year
- Hitchhiker's Guide to Logical Verification (2023 Edition)☆112Updated last year
- repository for material for Jan-Mar 2023 course on formalising mathematics☆48Updated last year
- Lean for the Curious Mathematician 2020☆67Updated last year
- Topos theory in lean☆64Updated 4 years ago
- Files associated with the course Interactive Theorem Proving at LMU SoSe 2024☆61Updated last year
- Some scripts to help construct small reproducing examples of bugs, implement [Proof using], etc.☆43Updated last week
- An automatic theorem prover in OCaml for typed higher-order logic with equality and datatypes, based on superposition+rewriting; and Logt…☆151Updated last year
- Selected Papers of Dana S. Scott☆165Updated last year
- PhD course on Functional Programming and Climate Impact Research☆50Updated last month
- An automated theorem prover that uses Büchi automata.☆43Updated 4 years ago
- A formalization of geometry in Coq based on Tarski's axiom system☆199Updated 5 months ago
- A Lean file formatter☆69Updated 2 years ago
- Modeling and Proving in Computational Type Theory☆117Updated 2 months ago