mgttlinger / biblatex-lncs
BiBLaTeX style for Springer Lecture Notes in Computer Science
☆18Updated last year
Alternatives and similar repositories for biblatex-lncs:
Users that are interested in biblatex-lncs are comparing it to the libraries listed below
- Clone of isabelle, with LSP extensions in seperate branches☆28Updated this week
- Linter component for Isabelle.☆18Updated last month
- Dafny 2 for Visual Studio Code (Legacy)☆18Updated 2 years ago
- A collection of tools for writing technical documents that mix Coq code and prose.☆254Updated 2 months ago
- A project of short tutorials and how-to guides for Coq features and Coq Platform packages.☆20Updated this week
- Learning Framework for Logic Calculi☆16Updated last week
- Phd Thesis of Théo Winterhalter. Look at releases to get the latest PDF.☆34Updated 4 years ago
- The Haskell LaTeX library.☆199Updated last year
- A LaTeX class for submissions to the “Lecture Notes in Informatics” (LNI) published by the German “Gesellschaft für Informatik” (GI)☆41Updated 3 weeks ago
- A program for making zooming slides in figma.☆33Updated last month
- BiBLaTeX style for Springer Lecture Notes in Computer Science☆21Updated 5 years ago
- medium inspired theme for hakyll☆11Updated 3 years ago
- Compiling Agda code to readable Haskell☆184Updated last week
- Collection of scripts to improve the output of coqdoc [maintainers=@chdoc,@palmskog]☆38Updated 8 months ago
- Nix configuration for reproducible builds of LaTeX documents☆25Updated 4 years ago
- Generate texlive nix expressions for documents☆96Updated 11 months ago
- Convert Haskell source code to Coq source code.☆83Updated 7 months ago
- Library to create Coq record update functions☆45Updated last month
- Communication between Coq and SAT/SMT solvers☆158Updated 7 months ago
- LaTeX Styles provided by Dagstuhl Publishing☆37Updated 5 months ago
- A true minimalistic LaTeX beamer template☆153Updated 9 months ago
- ☆17Updated 10 months ago
- Build dependency graphs between Coq objects [maintainers=@Karmaki,@ybertot]☆89Updated last month
- Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT☆125Updated last year
- Github actions for Haskell CI☆148Updated last year
- IMITATOR is a parametric timed model checker taking as input extensions of parametric timed automata, and synthesizing parameter valuatio…☆28Updated last week
- pulp: process your LaTeX log file with pulp and make a better paper☆46Updated 8 years ago
- agda-mode on VS Code☆175Updated this week
- Convert Haskell source code to Coq source code☆280Updated 4 years ago
- Tutorial on monad transformers☆60Updated 3 years ago