SSoelvsten / latex-preamble-and-examples
A LaTeX preample for Computer Science handins and presentations (Danish and English) with reverse-engineerable examples
☆23Updated 5 months ago
Alternatives and similar repositories for latex-preamble-and-examples:
Users that are interested in latex-preamble-and-examples are comparing it to the libraries listed below
- Write LaTeX theorems in Pandoc Markdown☆76Updated last year
- Byzantine model checker☆21Updated 2 years ago
- Classification of combinatorial objects☆16Updated 2 weeks ago
- A foundational framework for modular cryptographic proofs in Coq☆64Updated this week
- A minimal, clean and simple theme for beamer presentation.☆45Updated 7 years ago
- Examples for EasyCrypt Lectures☆24Updated 2 months ago
- rules for writing and typesetting☆24Updated 3 years ago
- A collection of tools for writing technical documents that mix Coq code and prose.☆254Updated 2 months ago
- Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2018☆23Updated 6 years ago
- Python bindings for egg☆48Updated 2 years ago
- Proof assistant for qRHL☆20Updated last week
- This repository contains specifications, proof scripts, and other artifacts required to formally verify portions of AWS libcrypto. Formal…☆40Updated 4 months ago
- A tree-sitter grammar for TLA⁺ and PlusCal☆62Updated 2 months ago
- ⌥ Simple Backus–Naur form (BNF) LaTeX package☆40Updated last year
- The Principia Rewrite☆218Updated 2 months ago
- Curated List of Research Focused Reading Materials & Videos for Learning about Programming Language Theory Research, Formal Methods and t…☆56Updated 5 years ago
- A live preview for TikZ drawings☆21Updated 2 years ago
- A framework for formally verifying hardware security modules to be free of hardware, software, and timing side-channel vulnerabilities 🔏☆33Updated 2 months ago
- A Language and Compiler for Homomorphic Encryption Made easY☆67Updated 4 years ago
- ☆12Updated 3 years ago
- A curated set of links to formal methods involving provable code.☆202Updated 3 years ago
- Rigorous computation of the endomorphism ring of a Jacobian☆10Updated 3 weeks ago
- Rewrites TLA⁺ specs to use Unicode symbols instead of ASCII, and vice-versa☆34Updated last month
- My mathematical Zettelkasten, created using forester.☆82Updated this week
- Goose converts a subset of Go to Rocq☆117Updated this week
- 📃 A compact guide to help you write professional LaTeX documents☆58Updated 2 years ago
- ☆27Updated 2 months ago
- Lecture notes on the Foundations of Isogeny-based Cryptography☆28Updated 7 months ago
- A minimal development of SSA theory☆121Updated this week
- ☆28Updated 3 years ago