mgttlinger / biblatex-lncs
BiBLaTeX style for Springer Lecture Notes in Computer Science
☆17Updated last year
Alternatives and similar repositories for biblatex-lncs:
Users that are interested in biblatex-lncs are comparing it to the libraries listed below
- A program for making zooming slides in figma.☆32Updated last week
- Clone of isabelle, with LSP extensions in seperate branches☆28Updated last week
- LaTeX Styles provided by Dagstuhl Publishing☆36Updated 4 months ago
- A collection of tools for writing technical documents that mix Coq code and prose.☆251Updated last month
- Latex Package that allows creating a pdfpc compatible notes file directly from your latex presentation \notes.☆151Updated 5 years ago
- biblatex is a sophisticated bibliography system for LaTeX users. It has considerably more features than traditional bibtex and supports U…☆533Updated 3 weeks ago
- Automatically exported from code.google.com/p/exercisesheet☆11Updated 9 years ago
- A 21st century LaTeX wrapper☆629Updated 11 months ago
- A project of short tutorials and how-to guides for Coq features and Coq Platform packages.☆22Updated 3 weeks ago
- IMITATOR is a parametric timed model checker taking as input extensions of parametric timed automata, and synthesizing parameter valuatio…☆28Updated last week
- Collection of scripts to improve the output of coqdoc [maintainers=@chdoc,@palmskog]☆37Updated 8 months ago
- Communication between Coq and SAT/SMT solvers☆159Updated 6 months ago
- A LaTeX class for submissions to the “Lecture Notes in Informatics” (LNI) published by the German “Gesellschaft für Informatik” (GI)☆41Updated last week
- LibreOffice/OpenOffice.org extension to expand animations before exporting to PDF. Looking for maintainers.☆239Updated 3 years ago
- My mathematical Zettelkasten, created using forester.☆80Updated this week
- A true minimalistic LaTeX beamer template☆150Updated 8 months ago
- Phd Thesis of Théo Winterhalter. Look at releases to get the latest PDF.☆33Updated 4 years ago
- The Haskell LaTeX library.☆199Updated last year
- CoDi: Commutative Diagrams for TeX☆30Updated 11 months ago
- Manage GitLab for Labs from the Command Line☆11Updated 3 months ago
- A library of formal models in the jani-model format.☆11Updated 2 years ago
- Write LaTeX theorems in Pandoc Markdown☆76Updated last year
- Linter component for Isabelle.☆18Updated last week
- A Beamer colour theme that maximizes visibility in dark and unfavourable conditions☆294Updated 7 years ago
- Triple, quadruple, and n-fold paths and arrows with TikZ☆13Updated last year
- Dual-Screen PDF Viewer for latex-beamer☆227Updated last year
- A library of mechanised undecidability proofs in the Coq proof assistant.☆115Updated last month
- BibLaTeX bibliography support for publication lists☆39Updated 3 weeks ago
- ☆260Updated 3 years ago
- Markdown file of the list and explanations of all mathlib4 tactics☆37Updated last year