Pinned Repositories
adventofcode-2020
My solutions for the 2020 Advent of Code
cyp
Checker for "morally correct" induction proofs about haskell programs
machma10-telegram-bot
proseminar
Proseminar: Algebraische Methoden der Kryptologie
scrape-mep-mails
lukasstevens's Repositories
lukasstevens/cyp
Checker for "morally correct" induction proofs about haskell programs
lukasstevens/scrape-mep-mails
lukasstevens/machma10-telegram-bot
lukasstevens/adventofcode-2020
My solutions for the 2020 Advent of Code
lukasstevens/aoc-2021
lukasstevens/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.
lukasstevens/bachelor-thesis
lukasstevens/congruence-closure-isabelle
Bachelor thesis about the verification in Isabelle/HOL of the Congruence Closure Algorithm.
lukasstevens/cookbook
A collection useful tips/tricks/hints for Isabelle users
lukasstevens/craftr
Meta build system based on Ninja and Python
lukasstevens/docker-fpv-stack
Docker image containing a stack installation. Used for the FPV lecture @ TUM.
lukasstevens/dotfiles
My dotfiles
lukasstevens/first-contributions
🚀✨ Help beginners to contribute to open source projects
lukasstevens/foss_course
A university course template to teach about Free and Open-Source Software (FOSS)
lukasstevens/gcpc-2016
lukasstevens/hierarchical-decomposition
Automatically exported from code.google.com/p/hierarchical-decomposition
lukasstevens/HydraBot
lukasstevens/isabelle-lambda-calculus
lukasstevens/isabelle-linter
Linter component for Isabelle.
lukasstevens/lualdap-rs
lukasstevens/metis-mirror
Mirror of the METIS graph partitioning software
lukasstevens/mirror-afp-2021
Git mirror of foss.heptapod.net/isa-afp/afp-2021
lukasstevens/mirror-afp-2021-1
Git mirror of https://foss.heptapod.net/isa-afp/afp-2021-1
lukasstevens/nixpkgs
Nix Packages collection
lukasstevens/rust-clippy
A bunch of lints to catch common mistakes and improve your Rust code
lukasstevens/sbt-isabelle-component
lukasstevens/set-decision-procedure
Formalisation of a decision procedure for MLSS
lukasstevens/soup-sys-rs
Soup FFI crate for Rust
lukasstevens/telegram-parrot-bot
lukasstevens/tree-theory