mgttlinger / biblatex-lncsLinks
BiBLaTeX style for Springer Lecture Notes in Computer Science
☆18Updated 2 years ago
Alternatives and similar repositories for biblatex-lncs
Users that are interested in biblatex-lncs are comparing it to the libraries listed below
Sorting:
- Clone of isabelle, with LSP extensions in seperate branches☆29Updated last week
- Beamer template according to the FAU corporate style guide 2021☆38Updated last year
- Phd Thesis of Théo Winterhalter. Look at releases to get the latest PDF.☆36Updated 4 years ago
- pulp: process your LaTeX log file with pulp and make a better paper☆46Updated 8 years ago
- Unterlagen zur Vorlesung "Formale Systeme", Fakultät Informatik, TU Dresden☆44Updated last year
- A program for making zooming slides in figma.☆37Updated 3 months ago
- medium inspired theme for hakyll☆11Updated 3 years ago
- Simple autograder for Haskell programming assignments☆17Updated 4 months ago
- Modeling and Proving in Computational Type Theory☆101Updated 2 weeks ago
- IMITATOR is a parametric timed model checker taking as input extensions of parametric timed automata, and synthesizing parameter valuatio…☆28Updated last week
- Automatically exported from code.google.com/p/exercisesheet☆11Updated 9 years ago
- Write LaTeX theorems in Pandoc Markdown☆75Updated last year
- A library of formal models in the jani-model format.☆12Updated 2 years ago
- A project of short tutorials and how-to guides for Coq features and Coq Platform packages.☆21Updated 2 weeks ago
- UCL template for LaTeX Beamer presentations☆43Updated 3 years ago
- LaTeX Styles provided by Dagstuhl Publishing☆37Updated 7 months ago
- Collection of scripts to improve the output of coqdoc [maintainers=@chdoc,@palmskog]☆38Updated 10 months ago
- A true minimalistic LaTeX beamer template☆154Updated 11 months ago
- Learning Framework for Logic Calculi☆16Updated this week
- Clustering notions for the knowledge LaTeX package☆17Updated 3 weeks ago
- High-Level Nets Blaster for the Model-Checking Contest☆10Updated 7 months ago
- A library of mechanised undecidability proofs in the Coq proof assistant.☆119Updated 2 months ago
- A LaTeX package for typesetting (potentially long) recipes.☆39Updated 4 years ago
- A collection of tools for writing technical documents that mix Coq code and prose.☆263Updated 4 months ago
- A Beamer colour theme that maximizes visibility in dark and unfavourable conditions☆294Updated 7 years ago
- Agda as a collaborative multiplayer game☆36Updated 8 months ago
- Guidelines for creating a high-quality scientific thesis with tips and examples for layout, figures, and tables☆53Updated 9 months ago
- Tutorial series introducing Agda to the people at BCAM☆26Updated 3 years ago
- Untitled PL Card Game☆20Updated 4 years ago
- Rocq RFCs: documents to discuss changes to the Rocq Prover☆57Updated 5 months ago