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
- Latex Package that allows creating a pdfpc compatible notes file directly from your latex presentation \notes.☆150Updated 5 years ago
- A project of short tutorials and how-to guides for Coq features and Coq Platform packages.☆21Updated this week
- A program for making zooming slides in figma.☆32Updated 6 months ago
- Learning Framework for Logic Calculi☆16Updated this week
- Phd Thesis of Théo Winterhalter. Look at releases to get the latest PDF.☆34Updated 4 years ago
- LibreOffice/OpenOffice.org extension to expand animations before exporting to PDF. Looking for maintainers.☆238Updated 3 years ago
- A true minimalistic LaTeX beamer template☆150Updated 7 months ago
- A collection of tools for writing technical documents that mix Coq code and prose.☆249Updated 2 months ago
- Clone of isabelle, with LSP extensions in seperate branches☆27Updated this week
- IMITATOR is a parametric timed model checker taking as input extensions of parametric timed automata, and synthesizing parameter valuatio…☆28Updated this week
- The package lets the user mark things to do later, in a simple and and visually appealing way.☆183Updated last year
- Write LaTeX theorems in Pandoc Markdown☆76Updated last year
- A Beamer colour theme that maximizes visibility in dark and unfavourable conditions☆294Updated 7 years ago
- Beamer template according to the FAU corporate style guide 2021☆37Updated 8 months ago
- A library of mechanised undecidability proofs in the Coq proof assistant.☆113Updated 3 weeks ago
- Improved Lecture Notes in Computer Science (LNCS) template☆261Updated this week
- Dual-Screen PDF Viewer for latex-beamer☆223Updated last year
- LaTeX Styles provided by Dagstuhl Publishing☆35Updated 3 months ago
- ☆24Updated 5 years ago
- biblatex is a sophisticated bibliography system for LaTeX users. It has considerably more features than traditional bibtex and supports U…☆528Updated this week
- KtikZ provides a nice user interface for making pictures using TikZ.☆359Updated 7 months ago
- Collection of scripts to improve the output of coqdoc [maintainers=@chdoc,@palmskog]☆37Updated 6 months ago
- My mathematical Zettelkasten, created using forester.☆79Updated this week
- The extensible drawing editor Ipe☆200Updated last year
- Visual Studio Code extension for Coq☆362Updated this week
- Beamer color theme using the Solarized palette☆125Updated 10 years ago
- Interactive theorem proving with Coq in vim.☆186Updated 4 years ago
- Build dependency graphs between Coq objects [maintainers=@Karmaki,@ybertot]☆89Updated last month
- A LaTeX class for submissions to the “Lecture Notes in Informatics” (LNI) published by the German “Gesellschaft für Informatik” (GI)☆41Updated last week
- An HTML+CSS template for making more accessible posters☆83Updated 2 years ago