Lukas Stevens's repositories
adventofcode-2020
My solutions for the 2020 Advent of Code
archive-of-graph-formalizations
This informal "Archive of Graph Formalizations" collects different formalizations of graphs from the Isabelle/HOL universe to compare them and to eventually unify the efforts.
congruence-closure-isabelle
Bachelor thesis about the verification in Isabelle/HOL of the Congruence Closure Algorithm.
cookbook
A collection useful tips/tricks/hints for Isabelle users
docker-fpv-stack
Docker image containing a stack installation. Used for the FPV lecture @ TUM.
first-contributions
🚀✨ Help beginners to contribute to open source projects
foss_course
A university course template to teach about Free and Open-Source Software (FOSS)
hierarchical-decomposition
Automatically exported from code.google.com/p/hierarchical-decomposition
isabelle-linter
Linter component for Isabelle.
metis-mirror
Mirror of the METIS graph partitioning software
mirror-afp-2021
Git mirror of foss.heptapod.net/isa-afp/afp-2021
mirror-afp-2021-1
Git mirror of https://foss.heptapod.net/isa-afp/afp-2021-1
nixpkgs
Nix Packages collection
rust-clippy
A bunch of lints to catch common mistakes and improve your Rust code
set-decision-procedure
Formalisation of a decision procedure for MLSS
soup-sys-rs
Soup FFI crate for Rust