mff-cuni-cz / cuni-thesis-validator
A Docker 🐳 container with CUNI.CZ PDF/A validation profile
☆13Updated 10 months ago
Alternatives and similar repositories for cuni-thesis-validator
Users that are interested in cuni-thesis-validator are comparing it to the libraries listed below
Sorting:
- A slightly improved variant of the official thesis sample☆28Updated last year
- LaTeX Styles provided by Dagstuhl Publishing☆37Updated 6 months ago
- ☆9Updated last year
- #SharingIsCaring #CaringIsSharing☆85Updated 4 months ago
- Matematisk ordliste☆33Updated 3 months ago
- Very controlled natural language tactics for Lean☆63Updated last year
- A browser extension to convert TeX to Unicode in browser inputs.☆61Updated last year
- A latex package to draw cute rubber ducks with TikZ☆177Updated this week
- ☆21Updated this week
- Triple, quadruple, and n-fold paths and arrows with TikZ☆14Updated last year
- A Lean file formatter☆67Updated 2 years ago
- ☆264Updated 3 years ago
- Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2021 edition☆50Updated 3 years ago
- Template for blueprint-driven formalization projects in Lean.☆50Updated last week
- Straightforward pseudocode.☆14Updated 3 months ago
- CoDi: Commutative Diagrams for TeX☆31Updated last year
- Ghent University template (article, report) for LaTeX☆28Updated 3 years ago
- Julia library for homological persistence☆118Updated 3 months ago
- CAP project -- Categories, Algorithms, and Programming☆26Updated 2 weeks ago
- Mirror of ocaml-forester☆44Updated 11 months ago
- Notes on how to use the internal language of toposes in algebraic geometry☆57Updated 2 weeks ago
- A program for making zooming slides in figma.☆34Updated last month
- Simply Typed Lambda Calculus with de Bruijn indices☆14Updated last month
- A computer algebra system for research in combinatorial game theory☆40Updated last year
- biblatex is a sophisticated bibliography system for LaTeX users. It has considerably more features than traditional bibtex and supports U…☆541Updated last month
- Tired of needing to come up with synonyms for 'Therefore,' in your mathematical writing? Ponder no longer! This LaTeX package provides a …☆200Updated 8 years ago
- Conservative floating point interval arithmetic in Lean☆16Updated 3 weeks ago
- ☆23Updated 2 years ago
- The Slate Interactive Theorem Prover☆23Updated 2 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…☆120Updated last year